Archetypal Forms of Inference - Humberstone, Lloyd (Synthese (Dordrecht), 2004)
Keywords: Archetypes; Equivalence relation; Inference; Intuitionistic logic; Logic; Logical givens; Logical theorems; Necessary conditions; Partially ordered sets; Philosophical logics. Philosophy of language; Philosophy; Propositional logic; Propositions; Subsumption; Terminology; Variables; Relation; Propositional Logic; Equivalence; Substitution; Archetype; Inference; Irreversibility; Intuitionistic Logic