Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
The Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing 2021 (1.251)
The Pennsylvania State University CiteSeerX Archives (614)
La Trobe University. (358)
Branca-Rosoff, Sonia (165)
Wierzbicka, Anna (104)
Rajeg, Gede Primahadi Wijaya (99)
Goddard, Cliff (97)
École normale supérieure - Paris (ENS-PSL) (92)
Vice Chancellor's Department. (89)
Sgall, Petr (80)
more
Year
Medium:
Print (22.743)
Online (15.258)
Microfilm (62)
Miscellaneous (22)
CD-ROM, DVD (3)
Audio-CD (1)
Type
BLLDB-Access:
free (38.089)
subject to license (3.215)
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.905
Hits 1 – 20 of 38.089
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.905
Mobile view
All
Catalogues
UB Frankfurt Linguistik
5.385
IDS Mannheim
1.271
OLC Linguistik
1.683
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
76
Institut für Empirische Sprachwissenschaft
759
Leibniz-Centre General Linguistics (ZAS)
857
Bibliographies
BLLDB
16.658
BDSL
54
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
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
14.276
Linguistik-Repository
427
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern