Relational model of second order linear logic

DOI10.1016/S1631-073X(02)02229-XzbMath0995.03029MaRDI QIDQ1598468

Alexandra Bruasse-Bac

Publication date: 2002

Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

zbMATH Keywords

normal form theoremrelational modelsecond-order linear logicsecond-order quantifiers

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Second- and higher-order model theory (03C85)

Related Items (1)

An Indexed System for Multiplicative Additive Polarized Linear Logic

Cites Work

• Unnamed Item
• The system \({\mathcal F}\) of variable types, fifteen years later
• On phase semantics and denotational semantics: The exponentials

This page was built for publication: Relational model of second order linear logic