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

Categories

Keywords

Reprint years

DOI

10.1590/s0100-60452011000100005

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,902

External links

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

Through your library

My notes

Similar books and articles

Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices.Antoni Torrens - 2016 - Studia Logica 104 (5):849-867.
Every Free Biresiduated Lattice is Semisimple.H. Takamura - 2003 - Reports on Mathematical Logic:125-133.
On two fragments with negation and without implication of the logic of residuated lattices.Félix Bou, Àngel García-Cerdaña & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (5):615-647.
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Hernán Javier San Martín & Ramon Jansana - 2019 - Studia Logica 107 (2):351-374.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Residuated Structures and Orthomodular Lattices.D. Fazio, A. Ledda & F. Paoli - 2021 - Studia Logica 109 (6):1201-1239.
On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.
Commutative integral bounded residuated lattices with an added involution.Roberto Cignoli & Francesc Esteva - 2010 - Annals of Pure and Applied Logic 161 (2):150-160.

Analytics

Added to PP
2013-12-16

Downloads
47 (#465,059)

6 months
9 (#464,038)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

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