The following pages link to (Q4428879):
Displaying 12 items.
- Contextual deduction theorems (Q647412) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- An \(O(n \log n)\)-space decision procedure for the relevance logic \(B^+\) (Q1595921) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- A characteristic frame for positive intuitionistic and relevance logic (Q2243544) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Decision procedure of some relevant logics: a constructive perspective (Q3647218) (← links)
- Conserving involution in residuated structures (Q5434203) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)
