21 |
CRITIQUE OF IMPURE REASON ; CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02923307 ; Studies in Theory and Behavior, 2020, ⟨10.5281/zenodo.5458352⟩ (2020)
|
|
BASE
|
|
Show details
|
|
22 |
Pomset logic: a logical and grammatical alternative to the Lambek calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
23 |
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
|
|
24 |
L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique
|
|
|
|
In: ISSN: 0182-5887 ; Verbum (Presses Universitaires de Nancy) ; https://hal.archives-ouvertes.fr/hal-02093509 ; Verbum (Presses Universitaires de Nancy), Université de Nancy II, 2018, XL (2), pp.237-267 (2018)
|
|
BASE
|
|
Show details
|
|
25 |
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
|
|
26 |
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
|
|
27 |
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
|
|
28 |
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
|
|
29 |
Sémantique formelle 1 ; : Introduction à la grammaire de Montague
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01615946 ; Language Science Press, 2017, Textbooks in Language Sciences, Stefan Müller; Martin Haspelmath, 978-1-977891-54-9. ⟨10.5281/zenodo.1000504⟩ ; http://langsci-press.org/catalog/book/143 (2017)
|
|
BASE
|
|
Show details
|
|
30 |
From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803717 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
31 |
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803760 ; France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
32 |
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
|
|
33 |
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
|
|
34 |
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
|
|
35 |
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
|
|
36 |
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
|
|
37 |
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
|
|
38 |
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
|
|
39 |
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
|
|
40 |
Logic of psychotic utterances ; Logique des énoncés psychotiques
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01119250 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
|