First Page | Document Content | |
---|---|---|
![]() Date: 2007-05-11 02:54:57Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory | Add to Reading List |