Some investigations of varieties of \({\mathcal N}\)-lattices

DOI10.1007/BF02429842zbMath0585.03039MaRDI QIDQ1071022

Andrzej Sendlewski

Publication date: 1984

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

zbMATH Keywords

posetsHeyting algebranegationalgebraic models of constructive propositional logic with strongalgebraic models of constructive propositional logic with strong negationpreprimitive varietiespretabular varieties

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items

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, On extensions of intermediate logics by strong negation, Semi-Nelson algebras, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Prelinearity in (quasi-)Nelson logic, Discrete duality for Nelson algebras with tense operators, Skew lattices and binary operations on functions, Constructive logic with strong negation is a substructural logic. I, Priestley duality for paraconsistent Nelson's logic, Constructive logic with strong negation is a substructural logic. II, Behavioral algebraization of logics, Nelson algebras through Heyting ones. I, Compatibly involutive residuated lattices and the Nelson identity, Quasi-Nelson algebras, A categorial equivalence for semi-Nelson algebras, The class of extensions of Nelson's paraconsistent logic, Nelson's negation on the base of weaker versions of intuitionistic negation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• Semantical analyses of propositional systems of Fitch and Nelson
• 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
• A Note on the Implicational Class Generated by a Class of Structures
• A Note on the Congruence Lattice of a Finitely Generated Algebra
• Caracterisation des algèbres de Nelson par des egalités, I
• Algebras Whose Congruence Lattices are Distributive.
• A semantical study of constructible falsity
• Constructible falsity