On the representation of n4-lattices
Studia Logica 76 (3):385 - 405 (2004)
| Abstract | N4-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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAndrzej Sendlewski (1984). Some Investigations of Varieties of N-Lattices. Studia Logica 43 (3):257 - 280.
Gerard Allwein & J. Michael Dunn (1993). Kripke Models for Linear Logic. Journal of Symbolic Logic 58 (2):514-545.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Reiner Hähnle (1998). Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Studia Logica 61 (1):101-121.
Saburo Tamura (1975). Two Identities for Lattices, Distributive Lattices and Modular Lattices with a Constant. Notre Dame Journal of Formal Logic 16 (1):137-140.
Sergiu Rudeanu & Dan A. Simovici (2006). On the Ranges of Algebraic Functions on Lattices. Studia Logica 84 (3):451 - 468.
Josep M. Font & Ventura Verdú (1993). The Lattice of Distributive Closure Operators Over an Algebra. Studia Logica 52 (1):1 - 13.
Hernando Gaitan (1996). Representation of Finite Demi-P-Lattices by Means of Posets. Studia Logica 56 (1-2):97 - 110.
Alasdair Urquhart (1979). Distributive Lattices with a Dual Homomorphic Operation. Studia Logica 38 (2):201 - 209.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,575 of 549,124 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
