Structural Completeness in Substructural Logics

DOI10.1093/jigpal/jzn014zbMath1168.03012OpenAlexW2158627825MaRDI QIDQ3544316

Jeffrey S. Olson, Clint J. van Alten, James G. Raftery

Publication date: 5 December 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzn014

zbMATH Keywords

linear logicsubstructural logicsrelevance logicadmissible rulestructural completenessresiduationdeductive varietyprimitive variety

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (25)

On rules ⋮ Almost structural completeness; an algebraic approach ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ Structural completeness in relevance logics ⋮ UNIFICATION IN INTERMEDIATE LOGICS ⋮ Admissibility in De Morgan algebras ⋮ The strong version of a sentential logic ⋮ An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ Structural completeness and superintuitionistic inquisitive logics ⋮ Structural and universal completeness in algebra and logic ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ Singly generated quasivarieties and residuated structures ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Contextual deduction theorems ⋮ VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS ⋮ BCK is not structurally complete ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Finitary extensions of the nilpotent minimum logic and (almost) structural completeness ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Structural completeness in many-valued logics with rational constants ⋮ Algebraic semantics for the (↔, ¬¬)-fragment of IPC ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Projectivity in (bounded) commutative integral residuated lattices

This page was built for publication: Structural Completeness in Substructural Logics