1 |
Game of Grounds
|
|
|
|
In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022)
|
|
BASE
|
|
Show details
|
|
3 |
Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics
|
|
|
|
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03319247 ; Journal of Philosophical Logic, Springer Verlag, 2021, ⟨10.1007/s10992-021-09621-9⟩ (2021)
|
|
BASE
|
|
Show details
|
|
4 |
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds
|
|
|
|
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03372615 ; Studia Logica, Springer Verlag (Germany), 2021, ⟨10.1007/s11225-021-09969-8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Dag Prawitz's theory of grounds ; La théorie des grounds de Dag Prawitz
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02482320 ; Logic [math.LO]. Aix-Marseille Université (AMU); Sapienza University of Rome, 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
6 |
Game of Grounds
|
|
|
|
In: PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves" ; https://hal.archives-ouvertes.fr/hal-01804445 ; PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves", May 2018, Montpellier, France (2018)
|
|
BASE
|
|
Show details
|
|
7 |
Grounds in Ludics
|
|
|
|
In: FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics” ; https://hal.archives-ouvertes.fr/hal-01804443 ; FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics”, May 2018, Mussomeli, Italy (2018)
|
|
BASE
|
|
Show details
|
|
8 |
Introduction: inferences and proofs
|
|
|
|
In: ISSN: 0167-7411 ; EISSN: 1572-8749 ; Topoi ; https://hal.archives-ouvertes.fr/hal-01761751 ; Topoi, Springer Verlag, 2018 (2018)
|
|
BASE
|
|
Show details
|
|
9 |
A partial calculus for Dag Prawitz's theory of grounds and a decidability issue
|
|
|
|
In: Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities ; https://hal.archives-ouvertes.fr/hal-01757823 ; Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities, 2018, 978-3-319-72577-2 (2018)
|
|
BASE
|
|
Show details
|
|
10 |
Even Dag Prawitz turned to grounds. But why?
|
|
|
|
In: Ninth European Conference of Analytic Philosophy ; https://hal.archives-ouvertes.fr/hal-01662555 ; Ninth European Conference of Analytic Philosophy, Université de Munich, Aug 2017, Munich, Germany (2017)
|
|
BASE
|
|
Show details
|
|
11 |
Recognition procedures and Dag Prawitz's theory of grounds
|
|
|
|
In: How to say yes and no. Logical approaches to modes of assertion and denial ; https://hal.archives-ouvertes.fr/hal-01662419 ; How to say yes and no. Logical approaches to modes of assertion and denial, Università del Salento, Jan 2016, Lecce, Italy (2016)
|
|
BASE
|
|
Show details
|
|
12 |
A case of BHK-decidability. Dag Prawitz's proof- and ground-theoretic semantics
|
|
|
|
In: Eighth French Philosophy of Mathematics Workshop ; https://hal.archives-ouvertes.fr/hal-01662552 ; Eighth French Philosophy of Mathematics Workshop, Université d'Aix-Marseille, Nov 2016, Marseille, France (2016)
|
|
BASE
|
|
Show details
|
|
13 |
Recognition procedures and Dag Prawitz's theory of grounds
|
|
|
|
In: GWP 2016 - Philosophy of Science between the Natural Sciences, the Social Sciences and the Humanities ; https://hal.archives-ouvertes.fr/hal-01662543 ; GWP 2016 - Philosophy of Science between the Natural Sciences, the Social Sciences and the Humanities, Université de Düsseldorf, Mar 2016, Düsseldorf, Germany (2016)
|
|
BASE
|
|
Show details
|
|
14 |
Riconoscibilità nelle semantiche di Dag Prawitz
|
|
|
|
In: Cruciani M et al. (eds) Apprendimento, Cognizione e Tecnologia. Atti del convegno AISC Mid-term 2016 ; https://hal.archives-ouvertes.fr/hal-01662435 ; Università degli studi di Napoli "Federico II". Cruciani M et al. (eds) Apprendimento, Cognizione e Tecnologia. Atti del convegno AISC Mid-term 2016, 2016, ISBN-9788890453984 (2016)
|
|
BASE
|
|
Show details
|
|
15 |
From proofs to grounds. Topics in latest Dag Prawitz's semantics
|
|
|
|
In: Second Belgrade Graduate Conference in Philosophy and Logic ; https://hal.archives-ouvertes.fr/hal-01662403 ; Second Belgrade Graduate Conference in Philosophy and Logic, Université de Belgrade, Apr 2015, Belgrade, Serbia (2015)
|
|
BASE
|
|
Show details
|
|
16 |
Evidence and proofs in Dag Prawitz's theory of grounds
|
|
|
|
In: Congrès international triennal 2015 de la SoPhA, à Montréal ; https://hal.archives-ouvertes.fr/hal-01662411 ; Congrès international triennal 2015 de la SoPhA, à Montréal, SoPha, Jun 2015, Montreal, Canada (2015)
|
|
BASE
|
|
Show details
|
|
17 |
Dag Prawitz's theory of grounds: inferences and logical consequence
|
|
|
|
In: Eighth European Conference of Analytic Philosophy ; https://hal.archives-ouvertes.fr/hal-01662401 ; Eighth European Conference of Analytic Philosophy, Université de Bucarest, Aug 2014, Bucarest, Romania (2014)
|
|
BASE
|
|
Show details
|
|
18 |
Dag Prawitz's theory of grounds: inferences and logical consequence
|
|
|
|
In: Logic Colloquium ; https://hal.archives-ouvertes.fr/hal-01662396 ; Logic Colloquium, Jul 2014, Tübingen, Germany (2014)
|
|
BASE
|
|
Show details
|
|
|
|