Belnap Constants and Nelson Logic

DOI10.1007/978-3-319-15368-1_22zbMath1376.03023OpenAlexW2415383613MaRDI QIDQ5350349

Sergei P. Odintsov

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

zbMATH Keywords

Belnap's logictwist-structurelogical constantNelson's logiclattice of extensions

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (1)

BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES

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