Back to Results
First PageMeta Content
Non-classical logic / Boolean algebra / Propositional calculus / Substructural logic / Linear logic / Structural rule / Modal logic / Cut-elimination theorem / Negation / Logic / Mathematical logic / Proof theory


AG8 SUBATOMIC LOGIC Alessio Guglielmi (TU Dresdenupdated on
Add to Reading List

Document Date: 2007-12-18 10:38:04

Open Document

File Size: 41,37 KB

Share 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