DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...187
Hits 1 – 20 of 3.726

1
Apodictic discourse and the Cauchy-Bunyakovsky-Schwarz inequality ; Discours apodictique et inégalité de Cauchy-Bunyakovsky-Schwarz
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
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
In: https://hal.archives-ouvertes.fr/hal-03565874 ; 2022 (2022)
BASE
Show details
4
Exploring elementary teachers’ facilitation of discussion in developing students’ mathematical agency
BASE
Show details
5
The contextual logic
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
BASE
Show details
6
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
Abstract: Technically speaking, the transcendental syntax is about designing logics with a computational foundation. It suggests a new framework for proof theory where logic (proofs, formulas, truth, .) is no more primitive but computation is. All the logical entities and activities will be presented as formatting/structuring on a given model of computation which should be as general, simple and natural as possible. The selected ground for logic in the transcendental syntax is a model of computation I call "stellar resolution" which is basically a logic-free reformulation of Robinson's first-order clausal resolution with a dynamics related to tile systems. An initial goal of the transcendental syntax is to retrieve linear logic from this new framework. In particular, this model naturally encodes cut-elimination for proof-structures. By using an idea of ``interactive typing'' reminiscent of realisability theory, it is possible to design formulas/types generalising the connectives of linear logic. Thanks to interactive typing, we are able to reach a semantic-free space where correctness criteria are seen as tests (as in unit testing or model checking) certifying logical correctness, thus allowing an effective use of logical entities.
Keyword: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages; ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.0: Computability theory; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.3: Logic and constraint programming; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory; Geometry of Interaction; Linear Logic; Models of Computation; Realizability semantics; Semantics
URL: https://hal.archives-ouvertes.fr/hal-02977750v7/file/main.pdf
https://hal.archives-ouvertes.fr/hal-02977750
https://hal.archives-ouvertes.fr/hal-02977750v7/document
BASE
Hide details
7
Evolution and trade-off dynamics of functional load
In: ISSN: 1099-4300 ; Entropy ; https://hal.archives-ouvertes.fr/hal-03630585 ; Entropy, MDPI, 2022, ⟨10.3390/e24040507⟩ (2022)
BASE
Show details
8
Usages du Dictionnaire Électronique des Synonymes (DES) du CRISCO : focus sur les mots inexistants
In: ISSN: 2607-0987 ; Le carnet de la MRSH ; https://halshs.archives-ouvertes.fr/halshs-03606075 ; 2022 (2022)
BASE
Show details
9
Dialogical Logic
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
10
Game of Grounds
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
11
Logiciel de calculs statistiques pour des données linguistiques
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
12
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
13
Semiotic analysis of the scientific measurement of a quantity ; Analyse sémiotique de la mesure scientifique d'une grandeur
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
14
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
15
Improving mathematics performance in 7-year-old children: Training the mapping from estimated quantities to Arabic digits ...
BASE
Show details
16
Finding the best way to put media bias research into practice via an annotation app ...
Hornung, Tilman. - : Open Science Framework, 2022
BASE
Show details
17
Are neural language models sensitive to false belief? A computational study. ...
Trott, Sean. - : Open Science Framework, 2022
BASE
Show details
18
Structured, flexible, and robust: comparing linguistic plans and explanations generated by humans and large language models ...
Wei, Megan. - : Open Science Framework, 2022
BASE
Show details
19
Similarity between person roles in a card sorting experiment ...
Maldonado, Mora. - : Open Science Framework, 2022
BASE
Show details
20
Statistical detection of format dialects using the weighted Dowker complex ...
BASE
Show details

Page: 1 2 3 4 5...187

Catalogues
0
0
0
0
0
0
0
Bibliographies
18
0
0
0
0
0
0
0
1
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
3.707
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern