On four-valued regular logics
From MaRDI portal
Recommendations
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- scientific article; zbMATH DE number 2024293
- A propositional logic with 4 values: true, false, divergent and meaningless
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
Cited in
(19)- A four-valued semantics for terminological logics
- Pecularities of some three- and four-valued second order logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
- ``Four-valued semantics for the relevant logic R
- Containment logics: algebraic completeness and axiomatization
- scientific article; zbMATH DE number 1309039 (Why is no real title available?)
- scientific article; zbMATH DE number 475182 (Why is no real title available?)
- Belnap's Four-Valued Logic and De Morgan Lattices
- scientific article; zbMATH DE number 2024293 (Why is no real title available?)
- A 4-valued framework encompassing intuitionistic and classical logic
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Logics of variable inclusion and the lattice of consequence relations
- Exactly true and non-falsity logics meeting infectious ones
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- scientific article; zbMATH DE number 6316274 (Why is no real title available?)
- An epistemic interpretation of paraconsistent weak Kleene logic
- Motivation and demotivation of a four-valued logic
This page was built for publication: On four-valued regular logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3567773)
