• Refine your search:
  • 
    Keyword:
    
    • Corpus (12.019)
    • Korpus (12.008)
    • Sign Languages (12.007)
    • Deutsche Gebärdensprache (12.006)
    • Gebärdensprachen (12.006)
    • German Sign Language (12.006)
    • FOS Languages and literature (5.481)
    • Linguistics (5.228)
    • Aboriginal Australians -- Languages (2.730)
    • Queensland Speech Survey (2.726)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Miscellaneous (23.079)
  • 
    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.154 Hits 1 – 20 of 23.079 1 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 2 B2 eta C1 mailetako azterketen etiketatzea eta analisia ... Mikel Osinalde Agirre, Mikel Iruskieta. - : https://b2share.eudat.eu, 2022 BASE Show details 3 Ludwig Wittgenstein: The Nature of Religion - Irfan Ajvazi ... Ajvazi, Irfan. - : Humanities Commons, 2022 BASE Show details 4 FAIRsharing record for: Metadata Encoding and Transmission Standard ... : METS ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 5 FAIRsharing record for: Corpus Encoding Standards ... : CES / XCES ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 6 FAIRsharing record for: Computer applications in terminology -- Terminological markup framework ... : ISO 16642:2017 ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 7 FAIRsharing record for: Document management -- Electronic document file format for long-term preservation -- Part 1: Use of PDF 1.4 (PDF/A-1) ... : ISO 19005-1:2005 ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 8 Replication data and results for the publication "The dirty work of boundary maintenance" ... Meier-Vieracker, Simon. - : Technische Universität Dresden, 2022 BASE Show details 9 FAIRsharing record for: Systems to manage terminology, knowledge and content -- Design, implementation and maintenance of terminology management systems ... : ISO 26162:2012 ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 10 FAIRsharing record for: Language resource management -- Semantic annotation framework (SemAF) -- Part 1: Time and events (SemAF-Time, ISO-TimeML) ... : ISO 24617-1:2012 ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 11 FAIRsharing record for: Linguistic Annotation Format (LAF) ... : ISO 24612:2012 ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 12 FAIRsharing record for: International Standard Bibliographic Description ... : ISBD ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 13 FAIRsharing record for: Language resource management -- Persistent identification and sustainable access (PISA) ... : ISO 24619:2011 ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 14 FAIRsharing record for: Component Metadata Specification ... : CDMI ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 15 FAIRsharing record for: Language resource management -- Semantic annotation framework (SemAF) -- Part 2: Dialogue acts ... : ISO 24617-2:2012 ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 16 FAIRsharing record for: Codes for the Human Analysis of Transcripts ... : CHAT ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 17 FAIRsharing record for: General Ontology for Linguistic Description ... : GOLD ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 18 FAIRsharing record for: Simple Protocol and RDF Query Language Overview ... : SPARQL ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 19 FAIRsharing record for: Open Language Archives Community Metadata ... : OLAC Metadata ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details 20 FAIRsharing record for: Guidelines for Electronic Text Encoding and Interchange ... : P5 TEI Guidelines ... FAIRsharing Team. - : FAIRsharing, 2022 BASE Show details Page: 1 2 3 4 5...1.154

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) 32 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 23.038 Linguistik-Repository 9 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0