Non-commutative logic II: sequent calculus and phase semantics

DOI10.1017/S0960129599003084zbMath0999.03056OpenAlexW2155393363MaRDI QIDQ4487273

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

sequent calculuslinear logicorder varietiesentropy between orders

Mathematics Subject Classification ID

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

Related Items (9)

Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic ⋮ Non-commutative logic. III: Focusing proofs. ⋮ A mixed \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Cyclic Extensions of Order Varieties ⋮ Non-commutative proof construction: a constraint-based approach ⋮ Multiplicative Linear Logics and Fibrations ⋮ Unnamed Item

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