| 1 |
Quantification in Ordinary Language and Proof Theory
|
|
|
|
In: ISSN: 1281-2463 ; EISSN: 1775-4283 ; Philosophia Scientiae ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01348023 ; Philosophia Scientiae, Editions Kime, 2016, pp.185-205. ⟨10.4000/philosophiascientiae.1163⟩ ; http://www.cairn.info/revue-philosophia-scientiae-2016-1-page-185.htm (2016)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Some proof theoretical remarks on quantification in ordinary language ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Quantification in ordinary language ; Quantification in ordinary language: from a critique of set-theoretic approaches to a proof-theoretic proposal
|
|
|
|
In: 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE ; https://hal.archives-ouvertes.fr/hal-00607678 ; 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul 2011, Nancy, France. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Quantification and interaction
|
|
|
|
In: Rebuilding logic and rethinking language in interaction terms (CLMPS workshop) ; https://hal.archives-ouvertes.fr/hal-00607676 ; Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France (2011)
|
|
BASE
|
|
Show details
|
|
|
|
|
