Classical linear logics with mix separation principle

DOI10.1002/MALQ.200310019MaRDI QIDQ4804181zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 10 April 2003

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310019

zbMATH Keywords

completenesscut-eliminationMaksimova's principlemix separation principlephase modelsstructural rulevariants of classical linear logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Substructural logics with mingle
• The mix rule
• Linear Logics with Communication-merge
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Propositional mixed logic: its syntax and semantics

Cited in

(2)

• Linear Logics with Communication-merge
• Proof theory of abelian connexive logics

This page was built for publication: Classical linear logics with mix separation principle

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