• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type:
    
    • Article (246)
    • Miscellaneous (40)
    • Book (20)
  • 
    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...16 Hits 1 – 20 of 306 1 Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming Abdallah, Majd; Iovene, Valentin; Zanitti, Gaston... In: https://hal.archives-ouvertes.fr/hal-03590714 ; 2022 (2022) BASE Show details 2 The contextual logic Kohler, Arnaud In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022) BASE Show details 3 A gentle introduction to Girard's Transcendental Syntax for the linear logician Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022) BASE Show details 4 Game of Grounds Piccolomini d'Aragona, Antonio; Catta, Davide; d’Aragona, Antonio Piccolomini 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 5 Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds Piccolomini d'Aragona, Antonio; d’Aragona, Antonio Piccolomini 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 6 Representation of Explanations of Possibilistic Inference Decisions BAAJ, Ismaïl; Poli, Jean-Philippe; Ouerdane, Wassila... In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty ; ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty ; https://hal-cea.archives-ouvertes.fr/cea-03406884 ; ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty, Sep 2021, Prague, Czech Republic. pp.513-527, ⟨10.1007/978-3-030-86772-0_37⟩ (2021) BASE Show details 7 Demo Paper: Coqlex, an approach to generate verified lexers Ouedraogo, Wendlasida; Ilik, Danko; Straßburger, Lutz In: ML 2021-ACM SIGPLAN Workshop on ML ; https://hal.inria.fr/hal-03470713 ; ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States ; https://icfp21.sigplan.org/home/mlfamilyworkshop-2021 (2021) BASE Show details 8 Superposition for Lambda-Free Higher-Order Logic Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon... In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.inria.fr/hal-03485227 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), ⟨10.23638/LMCS-17(2:1)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 Verification of Program Transformations with Inductive Refinement Types Al-Sibahi, Ahmad,; Jensen, Thomas,; Dimovski, Aleksandar,... In: ISSN: 1049-331X ; ACM Transactions on Software Engineering and Methodology ; https://hal.inria.fr/hal-03518825 ; ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩ (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) Abstract: The stellar resolution is an asynchronous model of computation used in Girard's Transcendental Syntax which is based on Robinson's first-order clausal resolution. By using methods of realisability for linear logic, we obtain a new model of multiplicative linear logic (MLL) based on sort of logic programs called constellations which are used to represent proofs, cut-elimination, formulas/types, correctness and provability very naturally. A philosophical justification of these works coming from the Kantian inspirations of Girard would be to study the conditions of possibility of logic, that is the conditions from which logical constructions emerge. 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; Semantics URL: https://hal.archives-ouvertes.fr/hal-02977750v3/document https://hal.archives-ouvertes.fr/hal-02977750v3/file/main.pdf https://hal.archives-ouvertes.fr/hal-02977750 BASE Hide 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 Parametric updates in parametric timed automata André, Étienne; Lime, Didier; Ramparison, Mathias In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-03340905 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩ ; https://lmcs.episciences.org/7470 (2021) BASE Show details 16 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 17 On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories Babonnaud, William In: 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021 ; https://hal.archives-ouvertes.fr/hal-03468606 ; 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021, Jul 2021, Virtual, Netherlands (2021) BASE Show details 18 WDProp: Web Application to Analyse Multilingual Aspects of Wikidata Properties Samuel, John In: OpenSym 2021: 17th International Symposium on Open Collaboration ; https://hal.archives-ouvertes.fr/hal-03621622 ; OpenSym 2021: 17th International Symposium on Open Collaboration, Sep 2021, Online, Spain. pp.1-12, ⟨10.1145/3479986.3479996⟩ (2021) BASE Show details 19 Improving Automation for Higher-Order Proof Steps Defourné, Antoine In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021) BASE Show details 20 Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics Piccolomini d'Aragona, Antonio In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03319247 ; Journal of Philosophical Logic, Springer Verlag, 2021, ⟨10.1007/s10992-021-09621-9⟩ (2021) BASE Show details Page: 1 2 3 4 5...16

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 306 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0