Remarks on special lattices and related constructive logics with strong negation
DOI10.1305/NDJFL/1093635588zbMATH Open0723.03037OpenAlexW2080173448MaRDI QIDQ757363FDOQ757363
Authors: 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
Recommendations
filtersalgebraic modelsconstructive logics with strong negationpropositional fragmentsrelations between strong and nonconstructible negationsspecial N-latticesvarieties of algebraic structures of ordered pairs
Subsystems of classical logic (including intuitionistic logic) (03B20) Logical aspects of lattices and related structures (03G10)
Cited In (13)
- Constructive predicate logic with strong negation and model theory
- Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory
- Rough Sets - Past, Present and Future: Some Notes
- Some investigations of varieties of \({\mathcal N}\)-lattices
- The logic Ł•
- Constructive negations and paraconsistency
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
- Constructive logic with strong negation as a substructural logic
- Constructive logic with strong negation is a substructural logic. I
- Short story of the term “algebraic analysis”
- Nelson algebras, residuated lattices and rough sets: A survey
- Constructive logic with strong negation is a substructural logic. II
- Information completeness in Nelson algebras of rough sets induced by quasiorders
This page was built for publication: Remarks on special lattices and related constructive logics with strong negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q757363)
