Back to Results
First PageMeta Content
Rules of inference / Philosophical logic / Logical consequence / Natural deduction / Entailment / Soundness / Inference / Disjunctive syllogism / Modal logic / Logic / Proof theory / Deduction


Document Date: 2001-01-02 17:37:50

Open Document

File Size: 245,90 KB

Share Result on Facebook

Organization

Department of Computer Science Carnegie Mellon University Received / National Science Foundation / /

Person

Prawitz / Ai / /

Position

mp / /

ProgrammingLanguage

K / R / /

SocialTag