Notes on \(\eta\)-lattices and constructive logic with strong negation

DOI10.1007/BF02121118zbMath0385.03055MaRDI QIDQ1249170

Publication date: 1977

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

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

Related Items (68)

Kleene algebras with implication ⋮ Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond ⋮ The class of Kleene algebras satisfying an interpolation property and Nelson algebras ⋮ Constraint tableaux for two-dimensional fuzzy logics ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Equilibrium logic ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Hoop twist-structures ⋮ A duality for two-sorted 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 ⋮ The logic Ł^• ⋮ Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ On extensions of intermediate logics by strong negation ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Semi-Nelson algebras ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ A logic for rough sets ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ Belnap Constants and Nelson Logic ⋮ Thirty years of Epistemic Specifications ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Fragments of quasi-Nelson: residuation ⋮ Tense operators on distributive lattices with implication ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ Discrete duality for Nelson algebras with tense operators ⋮ Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety ⋮ Representation of Nelson algebras by rough sets determined by quasiorders ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Implicative twist-structures ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces ⋮ A map of dependencies among three-valued logics ⋮ 1996–1997 Winter Meeting of the Association for Symbolic Logic ⋮ Semi-intuitionistic logic with strong negation ⋮ Quasi-discriminator varieties ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ An algebraic study of tense operators on Nelson algebras ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ On some categories of involutive centered residuated lattices ⋮ Behavioral algebraization of logics ⋮ On axiomatizing Shramko-Wansing's logic ⋮ Nelson algebras through Heyting ones. I ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ Paraconsistent Modal Logics ⋮ Constructive negation, implication, and co-implication ⋮ Twist-structures semantics for the logics of the hierarchy IⁿP^k ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Quasi-subtractive varieties ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Quasi-Nelson algebras ⋮ Twist-Valued Models for Three-Valued Paraconsistent Set Theory ⋮ A categorial equivalence for semi-Nelson algebras ⋮ Paraconsistent Gödel modal logic ⋮ On Axioms and Rexpansions ⋮ The logic of generalized truth values and the logic of bilattices ⋮ 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 ⋮ A categorical equivalence for tense Nelson algebras

Cites Work

This page was built for publication: Notes on \(\eta\)-lattices and constructive logic with strong negation