Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction - researchr publication

researchr

You are not signed in
Sign in
Sign up

Antonio Piccolomini d'Aragona, editor, Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Volume 481 of Synthese Library, Springer, 2024. [doi]

Abstract is missing.

Deduction at the CrossroadsAntonio Piccolomini d'Aragona. 1-19 [doi]

The Interdependence Between the Concepts of Valid Inference and Proof RevisitedDag Prawitz. 21-37 [doi]

The Completeness Theorem? So What!Göran Sundholm. 39-50 [doi]

Gödel's Absolute Proofs and Girard's Ludics: Mutual InsightsGabriella Crocco, Myriam Quatrini. 51-89 [doi]

Dummett, Analytic and Synthetic DeductionsCesare Cozzo. 91-113 [doi]

From Proof-Objects to GroundsEnrico Moriconi. 115-138 [doi]

On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional CaseLuiz Carlos Pereira, Elaine Pimentel. 139-169 [doi]

Martin-Löf on the Validity of InferenceAnsten Mørch Klev. 171-185 [doi]

Molecularity in the Theory of Meaning and the Topic Neutrality of LogicBernhard Weiss, Nils Kürbis. 187-209 [doi]

Assertion, Assumption, and DeductionPeter Pagin. 211-232 [doi]

Deduction and Ampliativity: A Critical AppraisalEmiliano Ippoliti. 233-250 [doi]

A New Conjecture About Identity of ProofsPaolo Pistone. 251-286 [doi]

Gödel's Introduction to DeductionMilos Adzic. 287-300 [doi]

Karl Popper on DeductionThomas Piecha. 301-321 [doi]

An Epistemological View of the Peano School AxiomaticsPaola Cantù. 323-343 [doi]

Inferential Quantification and the ω-RuleConstantin C. Brîncus. 345-372 [doi]

Chains of Inferences in Proof by Induction: A Cognitive AnalysisSamuele Antonini, Bernardo Nannini. 373-395 [doi]

From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical LogicDavide Catta. 397-424 [doi]

runs on WebDSL