The proofs of α → α in P – W

DOI10.2307/2275604zbMath0853.03002OpenAlexW2579272254MaRDI QIDQ4879907

Sachio Hirokawa

Publication date: 2 June 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275604

zbMATH Keywords

\(P - W\) problemhereditary right maximal linear lambda termsimplicational logic \(P - W\)natural deduction-style proofs

Mathematics Subject Classification ID

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

Related Items (1)

Lambda terms definable as combinators

Cites Work

• BCK-combinators and linear \(\lambda\)-terms have types
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
• On Entailment

This page was built for publication: The proofs of α → α in P – W