Types of I-free hereditary right maximal terms

DOI10.1007/S10992-005-2831-XMaRDI QIDQ812102zbMATH OpenOpenAlexFDO

Authors Katalin Bimbó

Publication date 23 January 2006

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-005-2831-x

zbMATH Keywords

decidabilitynatural deductionlambda calculusCombinatory logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)

Recommendations

• On the decidability of implicational ticket entailment
• Ticket Entailment is decidable
• Proof finding algorithms for implicational logics
• New consecution calculi for \(R^{t}_{\to}\)
• Issues in machine-checking the decidability of implicational ticket entailment

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• A mathematical introduction to logic.
• Combinatory logic. Vol. II
• Combinatory logic. With two sections by William Craig.
• Completeness of the normal typed fragment of the \(\lambda\)-system \(U\)

Cited in

(7)

• New consecution calculi for \(R^{t}_{\to}\)
• The \(I\)-types of system \(\mathcal F\)
• Two beta-equal lambda-I-terms with no types in common
• A lambda proof of the P-W theorem
• Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
• On the decidability of implicational ticket entailment
• Ticket Entailment is decidable

This page was built for publication: Types of I-free hereditary right maximal terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q812102)