• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    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 3 4 5...1.669 Hits 1 – 20 of 33.377 1 Cultural Evolution of Precise and Agreed‐Upon Semantic Conventions in a Multiplayer Gaming App Morin, Olivier; Müller, Thomas; Morisseau, Tiffany... In: ISSN: 0364-0213 ; EISSN: 1551-6709 ; Cognitive Science ; https://jeannicod.ccsd.cnrs.fr/ijn_03636720 ; Cognitive Science, Wiley, 2022, 46 (2), ⟨10.1111/cogs.13113⟩ (2022) BASE Show details 2 Awesome forces and warning signs ; Awesome forces and warning signs: Charting the semantic history of tabu words in Vanuatu François, Alexandre In: ISSN: 0029-8115 ; EISSN: 1527-9421 ; Oceanic Linguistics ; https://halshs.archives-ouvertes.fr/halshs-03092520 ; Oceanic Linguistics, University of Hawai'i Press, 2022, 61 (1), ⟨10.1353/ol.2021.0012⟩ ; https://muse.jhu.edu/article/835779/summary (2022) BASE Show details 3 El sesgo ideológico en el discurso político de la prensa española: la reforma constitucional de 2011 Ramos Ruiz, Álvaro; Ramos Ruiz, Ismael In: ISSN: 1576-4737 ; CIRCULO de Linguistica Aplicada a la Comunicacion ; https://hal.archives-ouvertes.fr/hal-03616798 ; CIRCULO de Linguistica Aplicada a la Comunicacion, Universidad Complutense de Madrid, 2022, 89, pp.171-182 (2022) BASE Show details 4 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris 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 5 Anaphora and Negation Hofmann, Lisa. - : eScholarship, University of California, 2022 BASE Show details 6 Frame-Semantik und Konstruktionsgrammatik in der fachspezifischen Sprach- und Kulturvermittlung ; (Keynote speech) Dahm, Johannes In: GDVT-Jahrestagung 2022 - Zeitgemäße Sprach- und Kulturvermittlung ; https://hal.archives-ouvertes.fr/hal-03614004 ; GDVT-Jahrestagung 2022 - Zeitgemäße Sprach- und Kulturvermittlung, Fu Jen Catholic University - New Taipei City - Taiwan, Mar 2022, New Taipei City - Taiwan, Taiwan (2022) BASE Show details 7 Cauchy's logico-linguistic slip, the Heisenberg uncertainty principle and a semantic dilemma concerning "quantum gravity" Majhi, Abhishek In: ISSN: 0020-7748 ; EISSN: 1572-9575 ; International Journal of Theoretical Physics ; https://hal.archives-ouvertes.fr/hal-03597958 ; International Journal of Theoretical Physics, Springer Verlag, 2022, 61 (3), pp.55. ⟨10.1007/s10773-022-05051-8⟩ (2022) BASE Show details 8 (En préparation) Traduction chinoise de l’Essai de sémantique (science des significations) de Michel Bréal (1897), 216 p Xiao, Lin; Fuxiang, Wu. - : HAL CCSD, 2022 In: https://hal.archives-ouvertes.fr/hal-03551909 ; The Commercial Press. In press ; https://www.cp.com.cn (2022) BASE Show details 9 Two levels of verbal communication, universal and culture-specific Wierzbicka, Anna. - : De Gruyter Mouton, 2022 BASE Show details 10 СПЕЦИФИКА СОМАТИЧЕСКИХ ФРАЗЕОЛОГИЧЕСКИХ ЕДИНИЦ С ОТДЕЛЬНЫМИ СОМАТИЧЕСКИМИ КОМПОНЕНТАМИ ... : THE SPECIFICS OF SOMATIC PHRASEOLOGICAL UNITS WITH SEPARATE SOMATIC COMPONENTS ... Батунова, И.В.; Лобынева, Е.И.; Николаева, А.Ю.. - : ИП Соколова М.В., 2022 BASE Show details 11 Presupposition of 'also' and 'regret' ... Takahashi, Maho. - : Open Science Framework, 2022 BASE Show details 12 Information Specificity in Referring Expressions ... Kumar, Abhilasha. - : Open Science Framework, 2022 BASE Show details 13 Leibniz Dream: Children's comprehension of conjunctive expressions in Hungarian ... Bill, Cory. - : Open Science Framework, 2022 BASE Show details 14 Use of referential expressions in a communicative set-up ... Maldonado, Mora. - : Open Science Framework, 2022 BASE Show details 15 Deniability: Investigating the Folk Concept of Pain ... Willemsen, Pascale. - : Open Science Framework, 2022 BASE Show details 16 Intonational meaning in Spanish: Production Experiment ... Fliessbach, Jan. - : Open Science Framework, 2022 BASE Show details 17 Leibniz Dream: Children's comprehension of conjunctive expressions in Georgian. ... Bill, Cory. - : Open Science Framework, 2022 BASE Show details 18 Semantic dimensions of depressions: a Demonstrative Choice Task ... Kruse, Line. - : Open Science Framework, 2022 BASE Show details 19 Spatial representations without spatial computations ... Gatti, Daniele. - : Open Science Framework, 2022 BASE Show details 20 DEVELOPMENT OF LINGUOCULTUROLOGY AND INTERPRETATION OF LANGUAGE AND CULTURE IN MODERN LINGUISTICS ... Bekiyeva, Malika Jamoldin Kizi. - : Central Asian Research Journal for Interdisciplinary Studies (CARJIS), 2022 BASE Show details Page: 1 2 3 4 5...1.669

Mobile view All Catalogues UB Frankfurt Linguistik 4.678 IDS Mannheim 1.236 OLC Linguistik 1.321 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 75 Institut für Empirische Sprachwissenschaft 739 Leibniz-Centre General Linguistics (ZAS) 835 Bibliographies BLLDB 11.436 BDSL 45 IDS Bibliografie zur deutschen Grammatik 1.662 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 4 IDS Präpositionen im Deutschen 175 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 325 MPI for Psycholinguistics 380 Linked Open Data catalogues Annohub 0 Online resources Link directory 718 Journal directory 210 Database directory 48 Dictionary directory 15 Open access documents BASE 14.188 Linguistik-Repository 424 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0