A matrix characterization for multiplicative exponential linear logic

DOI10.1023/B:JARS.0000029976.22387.ACzbMath1048.03048OpenAlexW2003819287MaRDI QIDQ1876098

Heiko Mantel, Christoph Kreitz

Publication date: 16 August 2004

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:jars.0000029976.22387.ac

zbMATH Keywords

sequent calculuslinear logicproof searchautomated deductionconnection method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Uses Software

• JProver

This page was built for publication: A matrix characterization for multiplicative exponential linear logic