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

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

Authors: Leonid Yu. 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

Recommendations

• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
• On a continual class of four-valued maximally paranormal logics
• Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
• 40 years of FDE: an introductory overview
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions

zbMATH Keywords

paraconsistencyparacompletenessclosed classes of functionsfour-valued logicsclosed classes of predicates

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• On the theory of inconsistent formal systems
• An introduction to non-classical logic. From if to is
• Title not available (Why is that?)
• Function Algebras on Finite Sets
• Nearly every normal modal logic is paranormal
• Polynomial interpolation and the Chinese remainder theorem for algebraic systems
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• 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
• Da Costa meets Belnap and Nelson
• 40 years of FDE: an introductory overview
• First-degree entailment and its relatives
• Four-valued paradefinite logics
• Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
• De Morgan clones and four-valued logics
• Lattices of quasivarieties of 3-element algebras
• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
• LP, K3 and FDE as substructural logics

This page was built for publication: О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5059699)