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