Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5...23

Hits 1 – 20 of 456

1	Apodictic discourse and the Cauchy-Bunyakovsky-Schwarz inequality ; Discours apodictique et inégalité de Cauchy-Bunyakovsky-Schwarz
	Kichenassamy, Satyanad
	In: ISSN: 0970-0307 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics ; https://hal.archives-ouvertes.fr/hal-03643571 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics, Prints Publications Pvt., In press (2022)
	BASE
	Show details

2	Towards an international lexicon
	Mesiti, Carmel; Artigue, Michèle; Grau, Valeska...
	In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03625972 ; ZDM, Springer Verlag, 2022, ⟨10.1007/s11858-022-01349-3⟩ (2022)
	BASE
	Show details

3	Hitchcock, F. L., 1941, The Distribution of a Product from Several Sources to Numerous Localities. Version bilingue et commentée
	Hitchcock, Frank,; Beauguitte, Laurent; Beauguitte, Pierre
	In: https://hal.archives-ouvertes.fr/hal-03565874 ; 2022 (2022)
	BASE
	Show details

4	The contextual logic
	Kohler, Arnaud
	In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
	BASE
	Show details

5	A gentle introduction to Girard's Transcendental Syntax for the linear logician
	Eng, Boris
	In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
	BASE
	Show details

6	Evolution and trade-off dynamics of functional load
	Round, Erich; Dockum, Rikker; Ryder, Robin
	In: ISSN: 1099-4300 ; Entropy ; https://hal.archives-ouvertes.fr/hal-03630585 ; Entropy, MDPI, 2022, ⟨10.3390/e24040507⟩ (2022)
	BASE
	Show details

7	Usages du Dictionnaire Électronique des Synonymes (DES) du CRISCO : focus sur les mots inexistants
	Chardon, Laurette
	In: ISSN: 2607-0987 ; Le carnet de la MRSH ; https://halshs.archives-ouvertes.fr/halshs-03606075 ; 2022 (2022)
	BASE
	Show details

8	Dialogical Logic
	Mcconaughey, Zoe; Clerbout, Nicolas
	In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022)
	BASE
	Show details

9	Game of Grounds
	Piccolomini d'Aragona, Antonio; Catta, Davide; d’Aragona, Antonio Piccolomini
	In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022)
	BASE
	Show details

10	Logiciel de calculs statistiques pour des données linguistiques
	Demagny, Annie-Claude; INANE, Ahmed Mehdi
	In: https://hal.archives-ouvertes.fr/hal-03631733 ; 2022, ⟨swh:1:dir:f3daa115d74f59485bc7249c1ab40dcb5f4af412;origin=https://hal.archives-ouvertes.fr/hal-03631733;visit=swh:1:snp:913acafcd2699ecc9ef1f05543532e454b11b328;anchor=swh:1:rel:d520c0e78ee4276ff8af500da81d99f8f5e4a301;path=/⟩ (2022)
	BASE
	Show details

11	Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
	Piccolomini d'Aragona, Antonio; d’Aragona, Antonio Piccolomini
	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

12	Semiotic analysis of the scientific measurement of a quantity ; Analyse sémiotique de la mesure scientifique d'une grandeur
	Herreman, Alain
	In: La Sémiotique et ses horizons ; https://hal.archives-ouvertes.fr/hal-03556362 ; La Sémiotique et ses horizons, 2022 (2022)
	BASE
	Show details

13	Plurilinguisme et enseignement des mathématiques ; Plurilinguisme et enseignement des mathématiques: Mise en perspectives des Journées Plurimaths 2020
	Hache, Christophe; Mendonça Dias, Catherine. - : HAL CCSD, 2022. : Éditions Lambert-Lucas, 2022
	In: https://hal.archives-ouvertes.fr/hal-03553842 ; Éditions Lambert-Lucas, 2022 (2022)
	BASE
	Show details

14	A novel source-filter stochastic model for voice production
	Cataldo, Edson; Monteiro, L.; Soize, Christian
	In: ISSN: 0892-1997 ; Journal of Voice ; https://hal-upec-upem.archives-ouvertes.fr/hal-03179837 ; Journal of Voice, Elsevier, 2021, In Press, pp.1-11. ⟨10.1016/j.jvoice.2020.11.015⟩ (2021)
	BASE
	Show details

15	Designing meta-resources for mathematics teachers in the context of curriculum reforms: the case of digital technology use and student autonomy in France
	Gueudet, Ghislaine; Pepin, Birgit; Lebaud, Marie-Pierre
	In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03378201 ; ZDM, Springer Verlag, 2021, ⟨10.1007/s11858-021-01299-2⟩ (2021)
	BASE
	Show details

16	Grounding, Quantifiers, and Paradoxes
	Genco, Francesco,; Poggiolesi, Francesca; Rossi, Lorenzo
	In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021)
	Abstract: International audience ; The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one-the ground-determines or explains the other-the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to reflexivity and symmetry paradoxes in some very natural contexts of application. We introduce in this paper a first-order formal system that captures the notion of grounding and avoids, in a novel and non-trivial way, both reflexivity and symmetry paradoxes. The presented system formally develops Bolzano's ideas on grounding by employing Hilbert's ε-terms and an adapted version of Fine's theory of arbitrary objects.
	Keyword: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [SHS.PHIL]Humanities and Social Sciences/Philosophy; arbitrary objects; Bolzano; epsilon calculus; grounding; quantifiers
	URL: https://hal.archives-ouvertes.fr/hal-03187627 https://hal.archives-ouvertes.fr/hal-03187627/document https://hal.archives-ouvertes.fr/hal-03187627/file/fol-grounding-HAL.pdf https://doi.org/10.1007/s10992-021-09604-w
	BASE
	Hide details

17	Argumentation of Prospective Mathematics Teachers in Fraction Tasks Mediated by an Online Assessment System With Automatic Feedback
	Gaona, Jorge; Menares, Romina
	In: Eurasia Journal of Mathematics, Science and Technology Education ; https://hal.archives-ouvertes.fr/hal-03538861 ; Eurasia Journal of Mathematics, Science and Technology Education, 2021, 17 (12), pp.em2055. ⟨10.29333/ejmste/11425⟩ (2021)
	BASE
	Show details

18	A precise bare simulation approach to the minimization of some distances. Foundations
	Broniatowski, Michel; Stummer, Wolfgang
	In: https://hal.archives-ouvertes.fr/hal-03278232 ; 2021 (2021)
	BASE
	Show details

19	Constrained control of gene-flow models
	Mazari, Idriss; Ruiz-Balet, Domènec; Zuazua, Enrique
	In: https://hal.archives-ouvertes.fr/hal-02373668 ; 2021 (2021)
	BASE
	Show details

20	Abundance of rational points ; Abondance de points rationnels
	Demeio, Julian Lawrence. - : HAL CCSD, 2021
	In: https://tel.archives-ouvertes.fr/tel-03514052 ; Algebraic Geometry [math.AG]. Université Paris-Saclay; Scuola normale superiore (Pise, Italie), 2021. English. ⟨NNT : 2021UPASM049⟩ (2021)
	BASE
	Show details

Page: 1 2 3 4 5...23

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern