О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE
From MaRDI portal
Publication:5059699
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
Cites work
- scientific article; zbMATH DE number 3591947 (Why is no real title available?)
- 40 years of FDE: an introductory overview
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
- An introduction to non-classical logic. From if to is
- Classical negation and expansions of Belnap-Dunn logic
- Da Costa meets Belnap and Nelson
- De Morgan clones and four-valued logics
- First-degree entailment and its relatives
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- Four-valued paradefinite logics
- Function Algebras on Finite Sets
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- Generalizing functional completeness in Belnap-Dunn logic
- LP, K3 and FDE as substructural logics
- Lattices of quasivarieties of 3-element algebras
- Maximal and premaximal paraconsistency in the framework of three-valued semantics
- Nearly every normal modal logic is paranormal
- On the theory of inconsistent formal systems
- Polynomial interpolation and the Chinese remainder theorem for algebraic systems
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
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)
