![Philosophical logic / Propositional calculus / Boolean algebra / Metalogic / Intuitionistic logic / Kripke semantics / Saul Kripke / Negation / Entailment / Logic / Mathematical logic / Model theory Philosophical logic / Propositional calculus / Boolean algebra / Metalogic / Intuitionistic logic / Kripke semantics / Saul Kripke / Negation / Entailment / Logic / Mathematical logic / Model theory](https://www.pdfsearch.io/img/b5a6fc98c879118df204bd60778a39f8.jpg)
| Document Date: 2014-05-28 20:12:31 Open Document File Size: 258,95 KBShare Result on Facebook
IndustryTerm proof-theoretic applications / sample applications / online version / perspective different deductive systems / formal deductive systems / search methods / / Organization National Science Foundation / / Person Jeremy Avigad / Saul Kripke / Paul Cohen / / Position model / /
SocialTag |