scientific article; zbMATH DE number 1984514
From MaRDI portal
Publication:4428879
zbMath1023.03014MaRDI QIDQ4428879
Publication date: 22 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (10)
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
This page was built for publication:
