Studia Logica 76 (3):385 - 405 (2004)
AbstractN4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. Finally, subdirectly irreducible N4-lattices are described.
Similar books and articles
Representation of finite demi-p-lattices by means of posets.Hernando Gaitan - 1996 - Studia Logica 56 (1-2):97 - 110.
The lattice of distributive closure operators over an algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.
On the ranges of algebraic functions on lattices.Sergiu Rudeanu & Dan A. Simovici - 2006 - Studia Logica 84 (3):451 - 468.
Two identities for lattices, distributive lattices and modular lattices with a constant.Saburo Tamura - 1975 - Notre Dame Journal of Formal Logic 16 (1):137-140.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
Some Investigations of Varieties of N-Lattices.Andrzej Sendlewski - 1984 - Studia Logica 43 (3):257 - 280.
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Added to PP
Historical graph of downloads
Citations of this work
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.
On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: College Publications. pp. 48-74.
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.
The lattice of Belnapian modal logics: Special extensions and counterparts.Sergei P. Odintsov & Stanislav O. Speranski - 2016 - Logic and Logical Philosophy 25 (1):3-33.
Categories of models of R-mingle.Wesley Fussner & Nick Galatos - 2019 - Annals of Pure and Applied Logic 170 (10):1188-1242.
References found in this work
No references found.