Algebraic Semantics for Paraconsistent Nelson's Logic
From MaRDI portal
Publication:4434609
DOI10.1093/logcom/13.4.453zbMath1034.03029OpenAlexW2039232530MaRDI QIDQ4434609
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
Related Items
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, 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 InPk, 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
