Axiomatic extensions of the constructive logic with strong negation and the disjunction property

DOI10.1007/BF01057804zbMath0840.03052MaRDI QIDQ1908857

Andrzej Sendlewski

Publication date: 1 July 1996

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

zbMATH Keywords

Heyting algebrasvarietydisjunction propertystrong negationfibreNelson algebraspropositional constructive logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Varieties (08B99) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

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 ⋮ The class of extensions of Nelson's paraconsistent logic

Cites Work

• Unnamed Item
• Unnamed Item
• Nelson algebras through Heyting ones. I
• 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
• On maximal intermediate logics with the disjunction property
• 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
• Constructible falsity

This page was built for publication: Axiomatic extensions of the constructive logic with strong negation and the disjunction property