The semantics of entailment omega
From MaRDI portal
Publication:1430899
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
Curry-Howard isomorphism; Harrop formulas; intersection type theory; lambda model; minimal relevant logic
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