scientific article; zbMATH DE number 1984514
From MaRDI portal
Publication:4428879
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
Cited in
(13)- New consecution calculi for \(R^{t}_{\to}\)
- Conserving involution in residuated structures
- Varieties of De Morgan monoids: minimality and irreducible algebras
- Decision procedure of some relevant logics: a constructive perspective
- Epimorphisms in varieties of subidempotent residuated structures
- scientific article; zbMATH DE number 2062375 (Why is no real title available?)
- A conservative negation extension of positive semilattice logic without the finite model property
- A characteristic frame for positive intuitionistic and relevance logic
- Constructive decision via redundancy-free proof-search
- Fragments of R-mingle
- An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\)
- Contextual deduction theorems
- 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)
