Constructive Logic with Strong Negation as a Substructural Logic
From MaRDI portal
Publication:3583096
DOI10.1093/logcom/exn081zbMath1205.03040MaRDI QIDQ3583096
Manuela Busaniche, Roberto L. O. Cignoli
Publication date: 26 August 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exn081
Heyting algebras; constructive logic; residuated lattices; strong negation; Nelson algebras; nilpotent minimum logic
03B60: Other nonclassical logic
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, Quasi-discriminator varieties, Unnamed Item, Belnap Constants and Nelson Logic, Prelinearity in (quasi-)Nelson logic, Co-rotation constructions of residuated semigroups, Constructive logic with strong negation is a substructural logic. I, Constructive logic with strong negation is a substructural logic. II, On some categories of involutive centered residuated lattices, Factor varieties, Twist structures and Nelson conuclei, Compatibly involutive residuated lattices and the Nelson identity, Representation by triples of algebras with an MV-retract, Inference rules in Nelson's logics, admissibility and weak admissibility, A temporal semantics for nilpotent minimum logic, Kleene algebras with implication, First-order nilpotent minimum logics: first steps, Involutive right-residuated l-groupoids, The subvariety of commutative residuated lattices represented by twist-products, Implicative twist-structures, Projectivity and unification in substructural logics of generalized rotations, Strong negation in intuitionistic style sequent systems for residuated lattices, The logic Ł•