Identity and Harmony revisited∗ Stephen Read University of St Andrews email: [removed] April 29, 2014 - Disjunctive syllogism - Document - PDFSEARCH.IO

First Page	Meta Content
	Identity and Harmony revisited∗ Stephen Read University of St Andrews email: [removed] April 29, 2014 Add to Reading List Document Date: 2014-04-29 03:59:14 Open Document File Size: 212,34 KB Share Result on Facebook City Amsterdam / London / / Company Tennant / Gentzen / Edinburgh University Press / Clarendon Press / / Country Netherlands / / / Facility Harmony revisited∗ Stephen Read University / / Organization Identity and Harmony revisited∗ Stephen Read University of St Andrews / / Person Michael Kremer / Gerhard Gentzen / / ProgrammingLanguage E / / SocialTag Propositional calculus Logical connectives Boolean algebra Semantics Negation If and only if Natural deduction Disjunctive syllogism First-order logic Logic

Identity and Harmony revisited∗ Stephen Read University of St Andrews email: [removed] April 29, 2014Add to Reading List