The semantics of entailment omega

DOI10.1305/ndjfl/1074290712zbMath1042.03019MaRDI QIDQ1430899

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

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 isomorphism; Harrop formulas; intersection type theory; lambda model; minimal relevant logic

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

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

03B40: Combinatory logic and lambda calculus

Related Items

Cut-elimination in the strict intersection type assignment system is strongly normalizing, 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, Combinatory logic and the semantics of substructural logics

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