• Refine your search:
  • 
    Keyword:
    
    • [MATH.MATH-LO]Mathematics [math] / Logic [math.LO] (14)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (10)
    • [MATH]Mathematics [math] (8)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (7)
    • ACM: F.: Theory of Computation / F.1: COMPUTATION BY ABSTRACT DEVICES / F.1.1: Models of Computation (5)
    • ACM: F.: Theory of Computation / F.3: LOGICS AND MEANINGS OF PROGRAMS / F.3.2: Semantics of Programming Languages (5)
    • 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 (5)
    • ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1: Mathematical Logic / F.4.1.0: Computability theory (5)
    • 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 (5)
    • 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 (5)
    •   more
  • 
    Creator / Publisher:
    
    • Eng, Boris (5)
    • Laboratoire d'Informatique de Paris-Nord (LIPN) (5)
    • Centre de recherche inter-langues sur la signification en contexte (CRISCO) (4)
    • Chardon, Laurette (4)
    • Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) (4)
    • Normandie Université (NU)-Normandie Université (NU) (4)
    • Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université de Paris (UP) (4)
    • Université de Caen Normandie (UNICAEN) (4)
    • Aix Marseille Université (AMU) (3)
    • Centre National de la Recherche Scientifique (CNRS) (3)
    •   more
  • 
    Year:
    
    • 2021 (38)
  • 
    Medium:
    
    • Online (38)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 Hits 1 – 20 of 38 1 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 2 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 3 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 4 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 5 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 6 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 7 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 8 MODULES DE DRINFELD QUASICRISTALLINS gendron, tim; Leichtnam, Eric; Lochak, Pierre In: https://hal.archives-ouvertes.fr/hal-02394235 ; 2021 (2021) BASE Show details 9 Multiplicative Linear Logic from Logic Programs and Tilings Eng, Boris; Seiller, Thomas In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021) BASE Show details 10 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 11 Artificial Text Detection via Examining the Topology of Attention Maps Kushnareva, Laida; Cherniavskii, Daniil; Mikhailov, Vladislav... In: ACL Anthology ; Empirical Methods in Natural Language Processing ; https://hal.archives-ouvertes.fr/hal-03456191 ; Empirical Methods in Natural Language Processing, ACL (Association for Computational Linguistics), Nov 2021, Punta Cana, Dominican Republic (2021) BASE Show details 12 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 13 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 14 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 15 Modelling predicates in propositional syntax ; Modélisation de prédicats dans la syntaxe propositionnelle Kohler, Arnaud In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2021 (2021) BASE Show details 16 Suszko's Problem: Mixed Consequence and Compositionality Chemla, Emmanuel; Egré, Paul In: https://hal.archives-ouvertes.fr/hal-03101560 ; 2021 (2021) BASE Show details 17 Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars Moot, Richard. - : HAL CCSD, 2021 In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021) BASE Show details 18 An Interdisciplinary Analysis of the Concept of Percent Tomson, Ayme. - : eScholarship, University of California, 2021 BASE Show details 19 The Use of Motivational Strategies to Enhance Academic Outcomes of Cover, Copy, and Compare Mathematics Intervention Kasser, Tali. - : eScholarship, University of California, 2021 BASE Show details 20 Logical foundations for hybrid type-logical grammars Moot, Richard; Stevens-Guille, Symon Jory In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02944393 ; Journal of Logic, Language and Information, Springer Verlag, In press (2021) BASE Show details Page: 1 2

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 38 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0