Pages that link to "Item:Q4916555"
From MaRDI portal
The following pages link to On the decidability of implicational ticket entailment (Q4916555):
Displaying 15 items.
- Current trends in substructural logics (Q266641) (← links)
- The one-variable fragment of \(\mathrm T_\to\) (Q484182) (← links)
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic (Q596035) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Types of I-free hereditary right maximal terms (Q812102) (← links)
- Completeness and conservative extension results for some Boolean relevant logics (Q908897) (← links)
- On the decidability of certain semi-lattice based modal logics (Q1694448) (← links)
- Issues in machine-checking the decidability of implicational ticket entailment (Q1694477) (← links)
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment (Q2254561) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- Ticket Entailment is decidable (Q4925031) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- Larisa Maksimova’s Early Contributions to Relevance Logic (Q5214731) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)
