Belnap Constants and Nelson Logic
From MaRDI portal
Publication:5350349
DOI10.1007/978-3-319-15368-1_22zbMath1376.03023OpenAlexW2415383613MaRDI QIDQ5350349
Publication date: 28 August 2017
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-15368-1_22
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The class of extensions of Nelson's paraconsistent logic
- Residuated lattices. An algebraic glimpse at substructural logics
- Constructive logic with strong negation is a substructural logic. I
- Constructive negations and paraconsistency
- Constructive logic with strong negation is a substructural logic. II
- The Craig interpolation theorem for propositional logics with strong negation
- Semantical analyses of propositional systems of Fitch and Nelson
- Intuitionistic logic with strong negation
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- Intuitive semantics for first-degree entailments and `coupled trees'
- On the representation of \(\mathbf{N4}\)-lattices
- N-lattices and constructive logic with strong negation
- Constructive Logic with Strong Negation as a Substructural Logic
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
- Constructible falsity and inexact predicates
- Algebraic Semantics for Paraconsistent Nelson's Logic
- A semantical study of constructible falsity
- Constructible falsity
This page was built for publication: Belnap Constants and Nelson Logic