Nelson algebras through Heyting ones. I

DOI10.1007/BF00401557zbMath0714.06004OpenAlexW2053168571MaRDI QIDQ750474

Andrzej Sendlewski

Publication date: 1990

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00401557

zbMATH Keywords

Heyting algebracongruencequotient algebraNelson algebraPriestley's duality

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items

A categorical equivalence motivated by Kalman's construction, Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond, Representation of De Morgan and (semi-)Kleene lattices, Twist structures and Nelson conuclei, Axiomatic extensions of the constructive logic with strong negation and the disjunction property, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Information completeness in Nelson algebras of rough sets induced by quasiorders, On extensions of intermediate logics by strong negation, Semi-Nelson algebras, Diagrammatic duality, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Fragments of quasi-Nelson: residuation, A method of representing rough sets system determined by quasi orders, Discrete duality for Nelson algebras with tense operators, Partially undetermined many-valued events and their conditional probability, The lattice of Belnapian modal logics: Special extensions and counterparts, The subvariety of commutative residuated lattices represented by twist-products, Implicative twist-structures, Rough sets determined by tolerances, Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory, Rough Sets - Past, Present and Future: Some Notes, Priestley duality for paraconsistent Nelson's logic, An algebraic study of tense operators on Nelson algebras, Behavioral algebraization of logics, Compatibly involutive residuated lattices and the Nelson identity, Quasi-Nelson algebras, A categorial equivalence for semi-Nelson algebras, Nelson's negation on the base of weaker versions of intuitionistic negation, A categorical equivalence for tense Nelson algebras

Cites Work

• Some investigations of varieties of \({\mathcal N}\)-lattices
• The Craig interpolation theorem for propositional logics with strong negation
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• N-lattices and constructive logic with strong negation
• On constructible falsity in the constructive logic with strong negation
• Ordered Topological Spaces and the Representation of Distributive Lattices
• THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
• Topological functors
• Caracterisation des algèbres de Nelson par des egalités, I
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Top categories and categorical topology
• Constructible falsity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item