N-lattices and constructive logic with strong negation
From MaRDI portal
Publication:3257770
DOI10.4064/fm-46-1-61-80zbMath0087.00905OpenAlexW641245508MaRDI QIDQ3257770
Publication date: 1958
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213492
Related Items
Boolean elements in Lukasiewicz algebras, I ⋮ The class of Kleene algebras satisfying an interpolation property and Nelson algebras ⋮ Twist structures and Nelson conuclei ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ A square of oppositions in intuitionistic logic with strong negation ⋮ 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 ⋮ Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) ⋮ The logic Ł• ⋮ On extensions of intermediate logics by strong negation ⋮ On deductive bases for paraconsistent answer set semantics ⋮ Semi-Nelson algebras ⋮ Diagrammatic duality ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Belnap Constants and Nelson Logic ⋮ Tense operators on distributive lattices with implication ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ Discrete duality for Nelson algebras with tense operators ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Semi-intuitionistic logic with strong negation ⋮ A variant of Thomason's first-order logic CF based on situations ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Intuitionistic logic with strong negation ⋮ Notes on \(\eta\)-lattices and constructive logic with strong negation ⋮ Nelson algebras through Heyting ones. I ⋮ Paraconsistent Modal Logics ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ Some investigations of varieties of \({\mathcal N}\)-lattices ⋮ The Craig interpolation theorem for propositional logics with strong negation ⋮ The class of extensions of Nelson's paraconsistent logic ⋮ Nelson's negation on the base of weaker versions of intuitionistic negation
