The following pages link to (Q4428879):
Displayed 10 items.
- Contextual deduction theorems (Q647412) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← 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)
- Conserving involution in residuated structures (Q5434203) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)