Countably many weakenings of Belnap-Dunn logic
From MaRDI portal
Publication:2307298
DOI10.1007/s11225-018-9840-6zbMath1484.03041OpenAlexW2904412515MaRDI QIDQ2307298
Publication date: 27 March 2020
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-018-9840-6
Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (6)
A paraconsistent conditional logic ⋮ Polarity semantics for negation as a modal operator ⋮ An infinity of intuitionistic connexive logics ⋮ Intuitionistic propositional logic with Galois negations ⋮ Belnap-Dunn modal logic with value operators ⋮ Neighbourhood semantics for FDE-based modal logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the deductive system of the order of an equationally orderable quasivariety
- Topological duality for distributive Ockham algebras
- Generalized Kripke frames
- Selfextensional logics with a conjunction
- Distributive lattices with a dual homomorphic operation
- Distributive lattices with an additional unary operation
- An algebraic view of super-Belnap logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Distributive lattices with a dual homomorphic operation. II
- Partiality and its dual
- Algebraizable logics with a strong conjunction and their semi-lattice based companions
- \(M\)-sets and the representation problem
- Formal concept analysis. Foundations and applications.
- A deterministic weakening of Belnap-Dunn logic
- Equivalence of consequence operations
- Logics preserving degrees of truth from varieties of residuated lattices
- Kripke models for linear logic
- On a common abstraction of de Morgan algebras and Stone algebras
- Subvarieties of the class of MS-algebras
- Correspondences between gentzen and hilbert systems
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Belnap's Four-Valued Logic and De Morgan Lattices
- An infinity of super-Belnap logics
- Logics of varieties, logics of semilattices and conjunction
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
- Bounded distributive lattice expansions
- Characterizing Belnap's Logic via De Morgan's Laws
- Addendum to the paper 'Belnap's four-valued logic and De Morgan lattices'
- Lattices With Involution
- Canonical extensions and relational completeness of some substructural logics
- Bounded lattice expansions
This page was built for publication: Countably many weakenings of Belnap-Dunn logic
