Remarks on an algebraic semantics for paraconsistent Nelson's logic

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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1590/S0100-60452011000100005
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,865
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
On the Representation of N4-Lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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 index
2013-12-16

Total views
13 ( #613,840 of 2,266,151 )

Recent downloads (6 months)
1 ( #852,654 of 2,266,151 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature