The semantics of entailment omega

DOI10.1305/NDJFL/1074290712zbMath1042.03019OpenAlexW2001951112MaRDI QIDQ1430899

Robert K. Meyer, Yoko Motohama, Mariangiola Dezani-Ciancaglini

Publication date: 27 May 2004

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1074290712

zbMATH Keywords

Curry-Howard isomorphismHarrop formulasintersection type theorylambda modelminimal relevant logic

Mathematics Subject Classification ID

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

Related Items (8)

Combinatory logic and the semantics of substructural logics ⋮ Ternary relations and relevant semantics ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ A typed lambda calculus with intersection types ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ Cut-elimination in the strict intersection type assignment system is strongly normalizing ⋮ The Relevance of Semantic Subtyping ⋮ The Better Bubbling Lemma

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Intersection types for combinatory logic
• The semantics of entailment. III
• Intersection and union types: Syntax and semantics
• The Relevance of Semantic Subtyping
• Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systems
• A filter lambda model and the completeness of type assignment
• Lambda‐Calculus Models and Extensionality
• Intersection Types as Logical Formulae
• TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
• Automata, Languages and Programming
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: The semantics of entailment omega