• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (17)
    • [MATH.MATH-LO]Mathematics [math] / Logic [math.LO] (14)
    • ACM: F.: Theory of Computation / F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1: Mathematical Logic / F.4.1.7: Proof theory (13)
    • Proof-theoretic semantics (13)
    • 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 (11)
    • Proof theory (11)
    • Wahrheitstheorie (11)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (11)
    • Dummett, Michael A. E. (7)
    • Linear Logic (7)
    •   more
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (9)
    • Laboratoire Bordelais de Recherche en Informatique (LaBRI) (8)
    • Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) (8)
    • Retoré, Christian (8)
    • Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) (8)
    • Eng, Boris (6)
    • Laboratoire d'Informatique de Paris-Nord (LIPN) (6)
    • Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES) (6)
    • Christian Retoré (5)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria) (5)
    • Moot, Richard (5)
    • Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord (4)
    • Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM) (4)
    • Exploration et exploitation de données textuelles (TEXTE) (4)
    • INRIA Futurs (4)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS) (4)
    • Catta, Davide (3)
    • Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM) (3)
    • Claus Zinn (3)
    • Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) (3)
    •   more
  • 
    Year:
    
    • 2022 (1)
    • 2021 (9)
    • 2020 (1)
    • 2019 (1)
    • 2018 (1)
    • 2017 (4)
    • 2016 (2)
    • 2015 (2)
    • 2014 (3)
    • 2013 (1)
    •   more
  • 
    Medium:
    
    • Online (48)
    • Print (13)
  • 
    Type:
    
    • Article (34)
    • Miscellaneous (14)
    • Book (13)
  • 
    BLLDB-Access:
    • free (61)
    • subject to license (13)

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 Hits 1 – 20 of 61 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) BASE Show details 2 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 3 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 4 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 5 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 6 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 7 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 8 Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques. Catta, Davide. - : HAL CCSD, 2021 In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021) BASE Show details 9 Proofs as games and games as proofs : dialogical semantics of logical and natural languages ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturel ou logiques Catta, Davide. - : HAL CCSD, 2021 In: https://tel.archives-ouvertes.fr/tel-03588308 ; Informatique et langage [cs.CL]. Université Montpellier, 2021. Français. ⟨NNT : 2021MONTS064⟩ (2021) BASE Show details 10 Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques. Catta, Davide. - : HAL CCSD, 2021 In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021) BASE Show details 11 Proof-theoretic aspects of NLλ Moot, Richard In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020) BASE Show details 12 Towards Higher-Order Abstract Syntax in Cedille (Work in Progress) Stump, Aaron In: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.archives-ouvertes.fr/hal-02152417 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada (2019) BASE Show details 13 A sequent calculus with dependent types for classical arithmetic Miquey, Étienne In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018) BASE Show details 14 From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers Chatzikyriakidis, Stergios; Pasquali, Fabio; Retoré, Christian In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803717 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017) BASE Show details 15 Logic-based argumentation with existential rules Arioua, Abdallah; Croitoru, Madalina; Vesic, Srdjan In: ISSN: 0888-613X ; International Journal of Approximate Reasoning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01596666 ; International Journal of Approximate Reasoning, Elsevier, 2017, 90, pp.76-106. ⟨10.1016/j.ijar.2017.07.004⟩ (2017) BASE Show details 16 Proof, rigour and informality : a virtue account of mathematical knowledge Tanswell, Fenner Stanley. - : University of St Andrews, 2017. : The University of St Andrews, 2017. : University of Stirling, 2017 BASE Show details 17 Formalizing Abstract Computability: Turing Categories in Coq Vinogradova, Polina. - : Université d'Ottawa / University of Ottawa, 2017 Abstract: The concept of a recursive function has been extensively studied using traditional tools of computability theory. However, with the development of category-theoretic methods it has become possible to study recursion in a more general (abstract) sense. The particular model this thesis is structured around is known as a Turing category. The structure within a Turing category models the notion of partiality as well as recursive computation, and equips us with the tools of category theory to study these concepts. The goal of this work is to build a formal language description of this computation model. Specifically, to use the Coq proof assistant to formulate informal definitions, propositions and proofs pertaining to Turing categories in the underlying formal language of Coq, the Calculus of Co-inductive Constructions (CIC). Furthermore, we have instantiated the more general Turing category formalism with a CIC description of the category which models the language of partial recursive functions exactly. Keyword: Calculus of Inductive Constructions (CIC); Category theory; Computability; Coq proof assistant; Formalization; Turing categories URL: https://doi.org/10.20381/ruor-20634 http://hdl.handle.net/10393/36354 BASE Hide details 18 Focused and Synthetic Nested Sequents (Extended Technical Report) Chaudhuri, Kaustuv; Marin, Sonia; Straßburger, Lutz In: https://hal.inria.fr/hal-01251722 ; [Research Report] Inria. 2016 (2016) BASE Show details 19 A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-based Argumentation Frameworks Arioua, Abdallah; Croitoru, Madalina In: 22nd European Conference on Artificial Intelligence ; ECAI : European Conference on Artificial Intelligence ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01333368 ; ECAI : European Conference on Artificial Intelligence, Aug 2016, The Hague, Netherlands. pp.55-63, ⟨10.3233/978-1-61499-672-9-55⟩ ; http://www.ecai2016.org/ (2016) BASE Show details 20 Comparing and evaluating extended Lambek calculi Moot, Richard In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015) BASE Show details Page: 1 2 3 4

Mobile view All Catalogues UB Frankfurt Linguistik 2 IDS Mannheim 0 OLC Linguistik 6 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 13 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 48 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0