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
(14)- An O(n n)-space decision procedure for the relevance logic B^+
- 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
- Decision procedure of some relevant logics: a constructive perspective
- scientific article; zbMATH DE number 1342215 (Why is no real title available?)
- scientific article; zbMATH DE number 2062375 (Why is no real title available?)
- Conserving involution in residuated structures
- Constructive decision via redundancy-free proof-search
- Contextual deduction theorems
- New consecution calculi for \(R^{t}_{\to}\)
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)
