Remarks on an algebraic semantics for paraconsistent Nelson's logic

Manuscrito 34 (1):99-114 (2011)
  Copy   BIBTEX

Abstract

In the paper Busaniche and Cignoli we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson’s logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,271

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Logic may be simple. Logic, congruence and algebra.Jean-Yves Béziau - 1997 - Logic and Logical Philosophy 5:129-147.
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Real Analysis in Paraconsistent Logic.Maarten McKubre-Jordens & Zach Weber - 2012 - Journal of Philosophical Logic 41 (5):901-922.

Analytics

Added to PP
2013-12-16

Downloads
33 (#468,569)

6 months
9 (#288,926)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Constructible Falsity.David Nelson - 1950 - Journal of Symbolic Logic 15 (3):228-228.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Nelson algebras through Heyting ones: I.Andrzej Sendlewski - 1990 - Studia Logica 49 (1):105-126.

View all 7 references / Add more references