Non-commutative logic II: sequent calculus and phase semantics
From MaRDI portal
Publication:4487273
DOI10.1017/S0960129599003084zbMath0999.03056MaRDI QIDQ4487273
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
03F05: Cut-elimination and normal-form theorems
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Unnamed Item, Unnamed Item, Cyclic Extensions of Order Varieties, A System of Interaction and Structure III: The Complexity of BV and Pomset Logic, Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives, Non-commutative logic. III: Focusing proofs., A mixed \(\lambda\)-calculus, Non-commutative proof construction: a constraint-based approach, Multiplicative Linear Logics and Fibrations