![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Perspectives 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.