Publication:2726302
zbMath0978.03012MaRDI QIDQ2726302
Publication date: 17 July 2001
linear logic; intuitionistic logic; modal logics; automated theorem proving; sequent calculi; matrix-based proofs; proof reconstruction algorithms
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03B70: Logic in computer science
03B35: Mechanization of proofs and logical operations
68-02: Research exposition (monographs, survey articles) pertaining to computer science
03F07: Structure of proofs
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03F03: Proof theory in general (including proof-theoretic semantics)
03B20: Subsystems of classical logic (including intuitionistic logic)
68W01: General topics in the theory of algorithms