| 1 |
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
|
|
|
| 2 |
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
|
|
|
| 3 |
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
|
|
|
| 4 |
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
|
|
|
| 5 |
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
|
|
|
| 6 |
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
|
|
|
| 7 |
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
|
|
|
| 8 |
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
|
|
|
| 9 |
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
|
|
|
| 10 |
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
|
|
|
| 11 |
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
|
|
|
|
|
