Deduction at the crossroads

DOI10.1007/978-3-031-51406-7_1MaRDI QIDQ6899248zbMATH OpenFDO

Authors Antonio Piccolomini d'Aragona

Publication date 17 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-51406-7_1

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Cites work

• scientific article; zbMATH DE number 7034416 (Why is no real title available?)
• scientific article; zbMATH DE number 4021069 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 65746 (Why is no real title available?)
• scientific article; zbMATH DE number 1241700 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1093813 (Why is no real title available?)
• scientific article; zbMATH DE number 1551461 (Why is no real title available?)
• scientific article; zbMATH DE number 1560719 (Why is no real title available?)
• scientific article; zbMATH DE number 1373518 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 819916 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 964162 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• A new constructive logic: classic logic
• Advanced mathematical thinking
• Classical harmony and separability
• Classical natural deduction
• Compositionality solves Carnap's problem
• Dialogues, strategies, and intuitionistic provability
• Explaining deductive inference
• Full abstraction for PCF
• Functorial polymorphism
• Gödel on deduction
• Gödel's Notre Dame course
• Gödel's natural deduction
• Identity of Proofs Based on Normalization and Generality
• Ideografia logica.
• Le proprietà fondamentali delle operazioni della logica deduttiva.
• Locus solum: From the rules of logic to the logic of rules.
• Logic Programming with Focusing Proofs in Linear Logic
• Logic lectures. Gödel's basic logic course at Notre Dame
• Modal logic for philosophers
• Popper's Notion of Duality and His Theory of Negations
• Popper's theory of deductive inference and the concept of a logical constant
• Rethinking logic. Logic in relation to mathematics, evolution, and method
• Semantic values for natural deduction derivations
• Shadows of Syntax
• Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning
• The Yoneda reduction of polymorphic types
• The logical writings of Karl Popper
• The naturality of natural deduction
• The neglect of epistemic considerations in logic: the case of epistemic assumptions

This page was built for publication: Deduction at the crossroads

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