Non-commutative logic II: sequent calculus and phase semantics

DOI10.1017/S0960129599003084MaRDI QIDQ4487273zbMATH OpenOpenAlexFDO

Authors Paul Ruet

Publication date 28 November 2002

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129599003084

zbMATH Keywords

entropy between orderslinear logicorder varietiessequent calculus

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Non-commutative logic. I: The multiplicative fragment
• Non-commutative logic. III: Focusing proofs.
• scientific article; zbMATH DE number 2185722
• scientific article; zbMATH DE number 1980929
• Phase semantics for a pure noncommutative linear propositional logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A new correctness criterion for multiplicative non-commutative proof nets
• One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
• Classical conservative extensions of Lambek calculus

Cited in

(16)

• Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
• Non-commutative logic. III: Focusing proofs.
• Non-commutative logic. I: The multiplicative fragment
• A mixed -calculus
• Non-commutative proof construction: a constraint-based approach
• Multiplicative linear logics and fibrations
• scientific article; zbMATH DE number 5295711 (Why is no real title available?)
• Non-Commutative First-Order Sequent Calculus
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Study of behaviours via visitable paths
• Non-commutative classical arithmetical sequent calculi are intuitionistic
• scientific article; zbMATH DE number 1865920 (Why is no real title available?)
• scientific article; zbMATH DE number 1418443 (Why is no real title available?)
• Pomset logic. The other approach to noncommutativity in logic
• Cyclic extensions of order varieties
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

This page was built for publication: Non-commutative logic II: sequent calculus and phase semantics

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