Non-Commutative First-Order Sequent Calculus

DOI10.1007/978-3-642-04027-6_34zbMath1257.03049OpenAlexW203501043MaRDI QIDQ3644767

Makoto Tatsuta

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04027-6_34

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Linear Nested Sequents, 2-Sequents and Hypersequents

Cites Work

• Linear logic
• A sequent calculus for limit computable mathematics
• Positive Arithmetic Without Exchange Is a Subclassical Logic
• Eine Darstellung der Intuitionistischen Logik in der Klassischen

This page was built for publication: Non-Commutative First-Order Sequent Calculus