Recommendations
- On the decidability of implicational ticket entailment
- Issues in machine-checking the decidability of implicational ticket entailment
- Ticket entailment plus the mingle axiom has the variable-sharing property
- scientific article; zbMATH DE number 50606
- Decidability of definability
- Entailment among probabilistic implications
- scientific article; zbMATH DE number 3914293
- scientific article; zbMATH DE number 408788
- scientific article; zbMATH DE number 759442
- Credibilistic satisfiability and credibilistic entailment
Cites work
- Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
- Lambda terms definable as combinators
- The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The theory of well-quasi-ordering: a frequently discovered concept
- The undecidability of entailment and relevant implication
- Types of I-free hereditary right maximal terms
Cited in
(7)- On the decidability of implicational ticket entailment
- Current trends in substructural logics
- Types of I-free hereditary right maximal terms
- Constructive decision via redundancy-free proof-search
- Implicational relevance logic is 2-\textsc{ExpTime}-complete
- Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
- Issues in machine-checking the decidability of implicational ticket entailment
This page was built for publication: Ticket Entailment is decidable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925031)
