scientific article; zbMATH DE number 1231574

MaRDI QIDQ4222893zbMATH OpenFDO

Authors Mitsuhiro Okada, Max Kanovich, Andre Scedrov

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#kanovich

zbMATH Keywords

light linear logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Semantics in the theory of computing (68Q55)

Recommendations

• Phase semantics for light linear logic
• Stratified coherence spaces: A denotational semantics for light linear logic
• Linear logic and polynomial time
• scientific article; zbMATH DE number 1361538

Cited in

(11)

• Light linear logic
• Phase semantics for light linear logic
• Linear logic and elementary time
• Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
• Stratified coherence spaces: A denotational semantics for light linear logic
• On phase semantics and denotational semantics in multiplicative-additive linear logic
• Debits and Credits in Petri Nets and Linear Logic
• Light Linear Logic with Controlled Weakening
• scientific article; zbMATH DE number 1089034 (Why is no real title available?)
• scientific article; zbMATH DE number 1361538 (Why is no real title available?)
• A phase semantics for polarized linear logic and second order conservativity

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222893)