Structural Completeness in Substructural Logics
From MaRDI portal
Publication:3544316
DOI10.1093/jigpal/jzn014zbMath1168.03012MaRDI 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
linear logic; substructural logics; relevance logic; admissible rule; structural completeness; residuation; deductive variety; primitive variety
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Algebraic semantics for the ‐fragment of and its properties, HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Singly generated quasivarieties and residuated structures, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Idempotent residuated structures: Some category equivalences and their applications, On rules, Almost structural completeness; an algebraic approach, A syntactic approach to unification in transitive reflexive modal logics, Structural completeness in relevance logics, Admissible rules in the implication-negation fragment of intuitionistic logic, Contextual deduction theorems, The strong version of a sentential logic, 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, An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics, Structural completeness in many-valued logics with rational constants, Projectivity in (bounded) commutative integral residuated lattices, Admissibility in De Morgan algebras, BCK is not structurally complete, VARIETIES OF SKEW BOOLEAN ALGEBRAS WITH INTERSECTIONS, Algebraic semantics for the (↔, ¬¬)-fragment of IPC, UNIFICATION IN INTERMEDIATE LOGICS