Nelson's negation on the base of weaker versions of intuitionistic negation

DOI10.1007/s11225-005-8476-5zbMath1086.03026OpenAlexW2078212736MaRDI QIDQ813089

Dimiter Vakarelov

Publication date: 30 January 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-005-8476-5

zbMATH Keywords

many-valued logicscounterexample semanticsgeneralized N-latticesNelson negationsubminimal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items (8)

Routley star and hyperintensionality ⋮ Subminimal logics in light of Vakarelov's logic ⋮ Reductio ad contradictionem: an algebraic perspective ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Subminimal negation ⋮ A map of dependencies among three-valued logics ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Constructive negation, implication, and co-implication

Cites Work

• Unnamed Item
• Nelson algebras through Heyting ones. I
• Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
• Some investigations of varieties of \({\mathcal N}\)-lattices
• The Craig interpolation theorem for propositional logics with strong negation
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On extensions of intermediate logics by strong negation
• On the representation of \(\mathbf{N4}\)-lattices
• Reasoning with logical bilattices
• N-lattices and constructive logic with strong negation
• On constructible falsity in the constructive logic with strong negation
• Bilattices and the semantics of logic programming
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• Constructible falsity

This page was built for publication: Nelson's negation on the base of weaker versions of intuitionistic negation