Constructive Logic with Strong Negation as a Substructural Logic

DOI10.1093/logcom/exn081zbMath1205.03040OpenAlexW2027816834MaRDI 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

zbMATH Keywords

Heyting algebrasconstructive logicresiduated latticesstrong negationNelson algebrasnilpotent minimum logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (24)

Kleene algebras with implication ⋮ Co-rotation constructions of residuated semigroups ⋮ First-order nilpotent minimum logics: first steps ⋮ Twist structures and Nelson conuclei ⋮ Strong negation in intuitionistic style sequent systems for residuated lattices ⋮ Involutive right-residuated l-groupoids ⋮ The logic Ł^• ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Belnap Constants and Nelson Logic ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Prelinearity in (quasi-)Nelson logic ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Factor varieties ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Implicative twist-structures ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Quasi-discriminator varieties ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ On some categories of involutive centered residuated lattices ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Representation by triples of algebras with an MV-retract ⋮ Unnamed Item ⋮ Inference rules in Nelson's logics, admissibility and weak admissibility ⋮ A temporal semantics for nilpotent minimum logic

This page was built for publication: Constructive Logic with Strong Negation as a Substructural Logic