Remarks on special lattices and related constructive logics with strong negation
From MaRDI portal
Publication:757363
DOI10.1305/ndjfl/1093635588zbMath0723.03037MaRDI QIDQ757363
Publication date: 1990
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635588
filters; algebraic models; constructive logics with strong negation; propositional fragments; relations between strong and nonconstructible negations; special N-lattices; varieties of algebraic structures of ordered pairs
03G10: Logical aspects of lattices and related structures
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Short story of the term “algebraic analysis”, Information completeness in Nelson algebras of rough sets induced by quasiorders, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory, Rough Sets - Past, Present and Future: Some Notes