| 1 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
GRAPHES, DIAGRAMMES, LANGUE ET PENSÉE CHEZ C. S. PEIRCE
|
|
|
|
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01304845 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.98-112 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
LOGIQUE, LANGAGE. ÉNONCÉS ET PREUVES EN MATHÉMATIQUES
|
|
|
|
In: XXIIe Colloque CORFEM ; https://hal.archives-ouvertes.fr/hal-01285113 ; XXIIe Colloque CORFEM, Jun 2014, Grenoble, France (2014)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
NEW OBJECTIVES FOR THE NOTIONS OF LOGIC TEACHING IN HIGH SCHOOL IN FRANCE: A COMPLEX REQUEST FOR TEACHERS
|
|
|
|
In: 8th Congress of the European Society for Research in Mathematics Education (CERME8) ; https://hal.archives-ouvertes.fr/hal-01570188 ; 8th Congress of the European Society for Research in Mathematics Education (CERME8), Feb 2013, Antalya, Turkey ; http://cerme8.metu.edu.tr/ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Logic modeling of language and Abstract Categorial Grammars ; Modélisation logique de la langue et grammaires catégorielles abstraites
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01750628 ; Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0283⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Algebraic resource semantics for classical logic ; Sémantique algébrique des ressources pour la logique classique
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01749530 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL075N⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Modal memory logics ; Logiques modales memorielles
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01748219 ; Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10130⟩ (2009)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Mathématisation de la linguistique et nature du langage
|
|
: PERSEE, 2009
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Réseaux de preuve et génération pour les grammaires de types logiques
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01749813 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2001. Français. ⟨NNT : 2001INPL056N⟩ (2001)
|
|
BASE
|
|
Show details
|
|
|
|
|
