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 Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
DOI 10.1023/B:STUD.0000032104.14199.08
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,107
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

View all 20 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
45 ( #239,521 of 2,454,617 )

Recent downloads (6 months)
1 ( #449,377 of 2,454,617 )

How can I increase my downloads?

Downloads

My notes