![Non-classical logic / Boolean algebra / Propositional calculus / Substructural logic / Linear logic / Structural rule / Modal logic / Cut-elimination theorem / Negation / Logic / Mathematical logic / Proof theory Non-classical logic / Boolean algebra / Propositional calculus / Substructural logic / Linear logic / Structural rule / Modal logic / Cut-elimination theorem / Negation / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/019ef8128b26e2a13b4a86be6fd422eb.jpg)
| Document Date: 2007-12-18 10:38:04 Open Document File Size: 41,37 KBShare Result on Facebook
Company BT / mCa / / Facility Dresden University of Technology / / IndustryTerm logical systems / / Organization Dresden University of Technology / / Person Lutz Straßburger / Alwen Tiu / Kai Brünnler / / URL http /
SocialTag |