On proof terms and embeddings of classical substructural logics

DOI10.1023/A:1005073330585zbMath0962.03015OpenAlexW1499106482MaRDI QIDQ1580653

Ken-etsu Fujita

Publication date: 13 June 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005073330585

zbMATH Keywords

embeddingsproof termstrong normalizationGödel translation\(\lambda\mu\)-termsclassical substructural logicsintuitionistic substructural logics

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 (2)

Limiting partial combinatory algebras ⋮ An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.

This page was built for publication: On proof terms and embeddings of classical substructural logics