Ticket Entailment is decidable

DOI10.1017/S0960129512000412zbMATH Open1280.03014OpenAlexW2060988679MaRDI QIDQ4925031FDOQ4925031

Authors: Vincent Padovani 

Publication date: 11 June 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000412

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

zbMATH Keywords

decidabilityticket entailment\(\mathrm{BB}^\prime\mathrm{IW}\) logic\(T_{\to}\)

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Cites Work

• The undecidability of entailment and relevant implication
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The theory of well-quasi-ordering: a frequently discovered concept
• Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
• The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic
• Types of I-free hereditary right maximal terms
• Lambda terms definable as combinators

Cited In (7)

• 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
• On 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)