Publication:4428879
From MaRDI portal
zbMath1023.03014MaRDI QIDQ4428879
Publication date: 22 September 2003
finite model propertypropositional quantifiersaxiomatic extensionsChurch monoidsfragments of relevant logicpure implicational part of relevant logicweak implicational calculus
Decidability of theories and sets of sentences (03B25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Contextual deduction theorems, Epimorphisms in varieties of subidempotent residuated structures, Varieties of De Morgan monoids: minimality and irreducible algebras, A characteristic frame for positive intuitionistic and relevance logic, New consecution calculi for \(R^{t}_{\to}\), Fragments of R-mingle, Conserving involution in residuated structures, A conservative negation extension of positive semilattice logic without the finite model property, Constructive decision via redundancy-free proof-search, The decidability of the intensional fragment of classical linear logic