![Propositional calculus / Substructural logic / Logical truth / Automated theorem proving / Natural deduction / Noncommutative logic / Cut-elimination theorem / Sequent calculus / Sequent / Logic / Mathematical logic / Proof theory Propositional calculus / Substructural logic / Logical truth / Automated theorem proving / Natural deduction / Noncommutative logic / Cut-elimination theorem / Sequent calculus / Sequent / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/000fab4be3323d4518514e6f5df019aa.jpg)
| Document Date: 2005-12-02 04:44:23 Open Document File Size: 196,04 KBShare Result on Facebook
/ IndustryTerm sub-systems / software analysis / worthy tool / logical systems / sequent systems / / Person Lutz Straßburger Technische Universit / Alessio Guglielmi / /
SocialTag |