Algebraic Semantics for Paraconsistent Nelson's Logic

DOI10.1093/LOGCOM/13.4.453zbMath1034.03029OpenAlexW2039232530MaRDI QIDQ4434609

Sergei P. Odintsov

Publication date: 10 November 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/13.4.453

zbMATH Keywords

algebraic semanticsparaconsistent logicconstructive negationNelson logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Paraconsistent logics (03B53)

Related Items (33)

Hoop twist-structures ⋮ A duality for two-sorted lattices ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Bilattices with implications ⋮ On deductive bases for paraconsistent answer set semantics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Residuated bilattices ⋮ Belnap Constants and Nelson Logic ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Varieties of interlaced bilattices ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ Priestley duality for bilattices ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ Generalized Kripke semantics for Nelson's logic ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ Nelson algebras, residuated lattices and rough sets: A survey ⋮ Logic for abstract hoop twist-structures ⋮ On axiomatizing Shramko-Wansing's logic ⋮ An epistemic approach to paraconsistency: a logic of evidence and truth ⋮ Paraconsistent Modal Logics ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Constructive negation, implication, and co-implication ⋮ Twist-structures semantics for the logics of the hierarchy IⁿP^k ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ A family of genuine and non-algebraisable C-systems ⋮ Quasi-Nelson algebras ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Quasi-Nelson algebras and fragments ⋮ The logic of generalized truth values and the logic of bilattices ⋮ The class of extensions of Nelson's paraconsistent logic ⋮ Nelson's negation on the base of weaker versions of intuitionistic negation

This page was built for publication: Algebraic Semantics for Paraconsistent Nelson's Logic