scientific article; zbMATH DE number 1984514

zbMATH Open1023.03014MaRDI QIDQ4428879FDOQ4428879

Authors: Robert K. Meyer 

Publication date: 22 September 2003

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1248086
• Decision procedure of some relevant logics: a constructive perspective
• The complexity of decision procedures in relevance logic II
• scientific article; zbMATH DE number 2062375
• A dynamic characterization of the pure logic of relevant implication
• On purely relevant logics
• Decision procedures for logics of consequential implication
• scientific article; zbMATH DE number 3890698
• Algorithms for relevant logic
• scientific article; zbMATH DE number 2226185

zbMATH Keywords

finite model propertypropositional quantifiersaxiomatic extensionsChurch monoidsfragments of relevant logicpure implicational part of relevant logicweak implicational calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25)

Cited In (13)

• An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\)
• Constructive decision via redundancy-free proof-search
• Varieties of De Morgan monoids: minimality and irreducible algebras
• New consecution calculi for \(R^{t}_{\to}\)
• Epimorphisms in varieties of subidempotent residuated structures
• Title not available (Why is that?)
• Contextual deduction theorems
• A conservative negation extension of positive semilattice logic without the finite model property
• Conserving involution in residuated structures
• Fragments of R-mingle
• A characteristic frame for positive intuitionistic and relevance logic
• Decision procedure of some relevant logics: a constructive perspective
• The decidability of the intensional fragment of classical linear logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428879)