Non-commutative logic. III: Focusing proofs.
From MaRDI portal
Publication:1427855
DOI10.1016/S0890-5401(03)00084-1zbMath1072.03035MaRDI QIDQ1427855
Publication date: 14 March 2004
Published in: Information and Computation (Search for Journal in Brave)
03F07: Structure of proofs
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, Non-commutative proof construction: a constraint-based approach
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- On proof normalization in linear logic
- Non-commutative logic. I: The multiplicative fragment
- Uniform proofs as a foundation for logic programming
- The Mathematics of Sentence Structure
- Quantales and (noncommutative) linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Non-commutative logic II: sequent calculus and phase semantics