О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE

DOI10.21146/2074-1472-2021-27-2-66-92OpenAlexW4200464731MaRDI QIDQ5059699

Leonid Yur'evich Devyatkin

Publication date: 16 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2021-27-2-66-92

zbMATH Keywords

paraconsistencyparacompletenessclosed classes of functionsfour-valued logicsclosed classes of predicates

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Classical negation and expansions of Belnap-Dunn logic
• Generalizing functional completeness in Belnap-Dunn logic
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• De Morgan clones and four-valued logics
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Lattices of quasivarieties of 3-element algebras
• 40 years of FDE: an introductory overview
• Four-valued paradefinite logics
• First-degree entailment and its relatives
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• On the theory of inconsistent formal systems
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Four-Valued Logics BD and DM4: Expansions
• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
• da Costa Meets Belnap and Nelson
• Function Algebras on Finite Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item