Archetypal forms of inference

DOI10.1023/B:SYNT.0000035850.89516.E1MaRDI QIDQ1770625zbMATH OpenOpenAlexFDO

Authors 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

classical propositional logicinference formsintuitionistic propositional logic

Mathematics Subject Classification ID

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

Recommendations

• The Unique Intermediate Logic Whose Every Rule is Archetypal
• Classically archetypal rules
• What is the logic of inference?
• scientific article; zbMATH DE number 6163273
• A precise definition of an inference (by the example of natural deduction systems for logics \(I_{\langle \alpha, \beta\rangle}\))

Cited in

(7)

• Towards a more general concept of inference
• Explicating logical independence
• What is the logic of inference?
• Classically archetypal rules
• Supervenience, dependence, disjunction
• The Unique Intermediate Logic Whose Every Rule is Archetypal
• The pleasures of anticipation: Enriching intuitionistic logic

This page was built for publication: Archetypal forms of inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770625)