Remarks on special lattices and related constructive logics with strong negation

DOI10.1305/ndjfl/1093635588zbMath0723.03037OpenAlexW2080173448MaRDI QIDQ757363

Piero Pagliani

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

zbMATH Keywords

filtersalgebraic modelsconstructive logics with strong negationpropositional fragmentsrelations between strong and nonconstructible negationsspecial N-latticesvarieties of algebraic structures of ordered pairs

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory ⋮ Rough Sets - Past, Present and Future: Some Notes ⋮ Short story of the term “algebraic analysis”

This page was built for publication: Remarks on special lattices and related constructive logics with strong negation