Back to Results
First PageMeta Content
Propositional calculus / Non-classical logic / Semantics / Natural deduction / Intuitionistic logic / Negation / Tautology / Atomic formula / Sequent calculus / Logic / Mathematical logic / Proof theory


Lecture Notes for LING419F Categorial and Type-Logical Grammar Darryl McAdams [removed] October 14, 2013
Add to Reading List

Document Date: 2013-10-14 16:44:58

Open Document

File Size: 599,04 KB

Share Result on Facebook

/

IndustryTerm

proof-theoretic tools / categorial systems / logical systems / /

OperatingSystem

Sequent / /

SocialTag