1 |
Calculi 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-03581352 ; Studia Logica, Springer Verlag (Germany), 2022, ⟨10.1007/s11225-021-09979-6⟩ (2022)
|
|
BASE
|
|
Show details
|
|
2 |
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
|
|
3 |
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
|
|
4 |
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
|
|
5 |
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
|
|
6 |
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
|
|
7 |
Approaching variation in the Phonologie du Français Contemporain project: the segmental level
|
|
|
|
In: Varieties of Spoken French ; https://hal.archives-ouvertes.fr/hal-01468765 ; Detey, S. And Durand, J. And Laks, B.; Lyche, C. Varieties of Spoken French, Oxford University Press, pp.341-349, 2016 (2016)
|
|
BASE
|
|
Show details
|
|
8 |
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
|
|
9 |
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
|
|
10 |
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
|
|
11 |
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
|
|
12 |
Louis Rougier’s reception of the Peano School
|
|
|
|
In: Images of Italian Mathematics in France. The Latin Sisters, from Risorgimento to Fascism ; https://hal.archives-ouvertes.fr/hal-01451583 ; Fréderic Brechenmacher, Guillaume Jouve, Laurent Mazliak and Rossana Tazzioli. Images of Italian Mathematics in France. The Latin Sisters, from Risorgimento to Fascism, pp.213--254, 2016, Series "New trends in history of science", 978-3-319-40080-8. ⟨10.1007/978-3-319-40082-2_8⟩ ; http://link.springer.com/chapter/10.1007%2F978-3-319-40082-2_8 (2016)
|
|
BASE
|
|
Show details
|
|
13 |
Quantifier scope: a formal and experimental study
|
|
|
|
In: 9e Colloque des Jeunes Chercheurs en Sciences Cognitives ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives ; https://hal.archives-ouvertes.fr/hal-01194934 ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France ; http://cjcsc.sciencesconf.org (2015)
|
|
BASE
|
|
Show details
|
|
14 |
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
|
|
15 |
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
|
|
16 |
Prosodic matching and turn competition in multi-party conversation
|
|
|
|
In: 14th International Pragmatics Conference ; https://hal.archives-ouvertes.fr/hal-01498837 ; 14th International Pragmatics Conference, Jul 2015, Antwerp, Belgium. pp.2 (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
|
|
|
|