SELF-EXTENSIONALITY OF FOUR-VALUED LOGICS

2026 Preprint Open access

Read full text
Authors: Alexej P. Pynko
DOI: 10.22541/au.177266382.28720563/v1
Cited by: 0

Abstract

Here, we prove miscellaneous characterizations of self-extensionality of four-valued expansions of FDE [by finitely many connectives, providing its quite effective algebraic criterion], self-extensional ones being exactly fragments of term-vise definitionally equivalent versions of that by the classical/Boolean negation.

Fields of Study & Subjects

Advanced Algebra and Logic Logic Reasoning and Knowledge Fuzzy and Soft Set Theory

Publication details

Publication date
4 March 2026
Language
EN
Document type
Preprint