Back to Results
First PageMeta Content
Proof theory / Deduction / Propositional calculus / Method of analytic tableaux / First-order logic / Entailment / Interpolation / Sequent calculus / Curry–Howard correspondence / Logic / Mathematical logic / Automated theorem proving


Jaakko Hintikka Boston University and Ilpo Halonen University of Helsinki
Add to Reading List

Document Date: 2002-07-15 23:21:00

Open Document

File Size: 25,97 KB

Share Result on Facebook

Company

Rewrite 4 / /

Facility

UC bridge / Ilpo Halonen University of Helsinki INTERPOLATION AS EXPLANATION INTERPOLATION AS EXPLANATION In / Jaakko Hintikka Boston University / /

IndustryTerm

law model / /

Organization

Boston University / Ilpo Halonen University of Helsinki INTERPOLATION AS EXPLANATION INTERPOLATION AS EXPLANATION In / /

SocialTag