Archetypal forms of inference

DOI10.1023/B:SYNT.0000035850.89516.e1zbMath1058.03008OpenAlexW2077994590MaRDI QIDQ1770625

Lloyd Humberstone

Publication date: 7 April 2005

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:synt.0000035850.89516.e1

zbMATH Keywords

intuitionistic propositional logicclassical propositional logicinference forms

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

CLASSICALLY ARCHETYPAL RULES ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Supervenience, Dependence, Disjunction ⋮ Explicating logical independence

This page was built for publication: Archetypal forms of inference