Some Syntactical Observations on Linear Logic

DOI10.1093/LOGCOM/1.4.537MaRDI QIDQ3986870zbMATH OpenOpenAlexFDO

Authors Harold Schellinx

Publication date 27 June 1992

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/1.4.537

zbMATH Keywords

intuitionistic logiclinear logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Recommendations

• Some semantical aspects of linear logic
• scientific article; zbMATH DE number 786485
• A syntax for linear logic
• The semantics and proof theory of linear logic
• A fresh view of linear logic as a logical framework
• On linear Brouwerian logics
• Linear logic, coherence and dinaturality
• scientific article; zbMATH DE number 2152687
• Some Properties of Linear Logic Proved by Semantic Methods
• The logic of linear propositions

Cited in

(26)

• The undecidability of second order linear logic without exponentials
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 1231523 (Why is no real title available?)
• scientific article; zbMATH DE number 1231527 (Why is no real title available?)
• Full intuitionistic linear logic
• Modal translations in substructural logics
• \(\ast\)-autonomous envelopes and conservativity
• Some Properties of Linear Logic Proved by Semantic Methods
• Connection methods in linear logic and proof nets construction
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
• Subexponentials in non-commutative linear logic
• Comparing session type systems derived from linear logic
• Reflections on ``difficult embeddings
• scientific article; zbMATH DE number 1231531 (Why is no real title available?)
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• The ILLTP library for intuitionistic linear logic
• From multiple sequent for additive linear logic to decision procedures for free lattices
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• On the linear decoration of intuitionistic derivations
• Expanding the Realm of Systematic Proof Theory
• Multiple conclusion linear logic: cut elimination and more
• Dualized simple type theory
• On the unity of logic
• Representing scope in intuitionistic deductions
• scientific article; zbMATH DE number 7359406 (Why is no real title available?)
• A note on full intuitionistic linear logic

This page was built for publication: Some Syntactical Observations on Linear Logic

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