Belnap's Four-Valued Logic and De Morgan Lattices
From MaRDI portal
Recommendations
- Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
- The \(B_{4}\)-valued propositional Belnap-Dunn logic
- Lattices of four-valued modal logics
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа
- De Morgan clones and four-valued logics
- Four-valued expansions of Dunn-Belnap's logic. I: Basic characterizations
- On four-valued regular logics
- Four-valued paradefinite logics
- Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
- scientific article; zbMATH DE number 1309039
Cited in
(85)- Taking degrees of truth seriously
- The strong version of a sentential logic
- 40 years of FDE: an introductory overview
- An algebraic view of super-Belnap logics
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- First-degree entailment and its relatives
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
- Proof theory of paraconsistent quantum logic
- Characterizing finite-valuedness
- Nothing but the truth
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
- Non-distributive relatives of ETL and NFL
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Containment logics: algebraic completeness and axiomatization
- Representation of De Morgan and (semi-)Kleene lattices
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Paraconsistent metatheory: new proofs with old tools
- On residuation in paraorthomodular lattices
- Probabilities with gaps and gluts
- Belnap-Dunn modal logic with value operators
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Countably many weakenings of Belnap-Dunn logic
- On prevarieties of logic
- Bilattice logic properly displayed
- Distributive bilattices from the perspective of natural duality theory.
- An algebraic study of exactness in partial contexts
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
- Admissibility in De Morgan algebras
- A deterministic weakening of Belnap-Dunn logic
- On the closure properties of the class of full G-models of a deductive system
- Representation of interlaced trilattices
- Functorial duality for ortholattices and De Morgan lattices
- Beyond Rasiowa's algebraic approach to non-classical logics
- Correspondence analysis and automated proof-searching for first degree entailment
- Notes on models of (partial) Kripke-Feferman truth
- Paraconsistent modal logics
- Consequence and degrees of truth in many-valued logic
- The \(B_{4}\)-valued propositional Belnap-Dunn logic
- Reductio ad contradictionem: an algebraic perspective
- Natural dualities through product representations: bilattices and beyond
- scientific article; zbMATH DE number 5872210 (Why is no real title available?)
- A Gentzen calculus for nothing but the truth
- FDE as a Base for Constructive Logic
- First-degree entailment and structural reasoning
- Priest on negation
- Bilattices with implications
- Categorical abstract algebraic logic: referential algebraic semantics
- scientific article; zbMATH DE number 4031641 (Why is no real title available?)
- Bilattices and the semantics of logic programming
- scientific article; zbMATH DE number 1309039 (Why is no real title available?)
- An infinity of super-Belnap logics
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Four-valued logics \(\mathbf {BD}\) and \(\mathbf {DM4}\): expansions
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- Characterizing Belnap's Logic via De Morgan's Laws
- Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B
- scientific article; zbMATH DE number 7503168 (Why is no real title available?)
- Relevant generalization starts here (and here = 2)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- THE LATTICE OF SUPER-BELNAP LOGICS
- The nature of entailment: an informational approach
- Abstract algebraic logic. An introductory chapter
- Relational semantics for normal topological quasi-Boolean logic
- PROOF SYSTEMS FOR EXACT ENTAILMENT
- A capacity-based semantics for inconsistency-tolerant inferences
- Varieties of interlaced bilattices
- Nelson algebras, residuated lattices and rough sets: A survey
- Non-deterministic logic of generalized classical truth values
- Editorial introduction
- Finite model property in normal extensions of Euclidean quasi-Boolean modal logics
- Indicative conditionals: some algebraic considerations
- A gentle introduction to the Leibniz hierarchy
- Probabilistic semantics and calculi for multi-valued and paraconsistent logics
- Iterating both and neither: with applications to the paradoxes
- Kripke-completeness and sequent calculus for quasi-Boolean modal logic
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Some useful 16-valued logics: How a computer network should think
- De Morgan clones and four-valued logics
- Polarity semantics for negation as a modal operator
- Neutrosophic logics: Prospects and problems
- Selfextensional logics with a conjunction
This page was built for publication: Belnap's Four-Valued Logic and De Morgan Lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4340541)
