default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPerspectives on Deduction, 2024
- Antonio Piccolomini d'Aragona
:
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Synthese Library 481, Springer 2024, ISBN 978-3-031-51405-0 - Antonio Piccolomini d'Aragona:
Deduction at the Crossroads. 1-19 - Dag Prawitz:
The Interdependence Between the Concepts of Valid Inference and Proof Revisited. 21-37 - Göran Sundholm:
The Completeness Theorem? So What! 39-50 - Gabriella Crocco, Myriam Quatrini:
Gödel's Absolute Proofs and Girard's Ludics: Mutual Insights. 51-89 - Cesare Cozzo:
Dummett, Analytic and Synthetic Deductions. 91-113 - Enrico Moriconi:
From Proof-Objects to Grounds. 115-138 - Luiz Carlos Pereira, Elaine Pimentel:
On an Ecumenical Natural Deduction with Stoup. Part I: The Propositional Case. 139-169 - Ansten Mørch Klev:
Martin-Löf on the Validity of Inference. 171-185 - Bernhard Weiss, Nils Kürbis:
Molecularity in the Theory of Meaning and the Topic Neutrality of Logic. 187-209 - Peter Pagin:
Assertion, Assumption, and Deduction. 211-232 - Emiliano Ippoliti:
Deduction and Ampliativity: A Critical Appraisal. 233-250 - Paolo Pistone:
A New Conjecture About Identity of Proofs. 251-286 - Milos Adzic:
Gödel's Introduction to Deduction. 287-300 - Thomas Piecha:
Karl Popper on Deduction. 301-321 - Paola Cantù:
An Epistemological View of the Peano School Axiomatics. 323-343 - Constantin C. Brîncus:
Inferential Quantification and the ω-Rule. 345-372 - Samuele Antonini, Bernardo Nannini:
Chains of Inferences in Proof by Induction: A Cognitive Analysis. 373-395 - Davide Catta:
From Strategies to Derivations and Back: An Easy Completeness Proof for First-Order Intuitionistic Dialogical Logic. 397-424
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 10:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
