• Refine your search:
  • 
    Keyword:
    
    • [MATH.MATH-LO]Mathematics [math] / Logic [math.LO] (87)
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (49)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (39)
    • [SHS.PHIL]Humanities and Social Sciences / Philosophy (39)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (24)
    • Philosophy and Sociology of Sciences (22)
    • [SHS.HISPHILSO]Humanities and Social Sciences / History (22)
    • [SCCO.LING]Cognitive science / Linguistics (17)
    • 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 (8)
    • [INFO.INFO-AI]Computer Science [cs] / Artificial Intelligence [cs.AI] (8)
    •   more
  • 
    Creator / Publisher:
    
    • Aix Marseille Université (AMU) (22)
    • Retoré, Christian (20)
    • Piccolomini d'Aragona, Antonio (18)
    • Laboratoire Bordelais de Recherche en Informatique (LaBRI) (17)
    • Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) (17)
    • Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS) (15)
    • Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) (12)
    • La Sapienza (11)
    • Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES) (11)
    • Università degli Studi di Roma "La Sapienza" Rome (11)
    •   more
  • 
    Year
  • 
    Medium:
    
    • Online (87)
  • 
    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 Hits 1 – 20 of 87 1 The contextual logic Kohler, Arnaud In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022) BASE Show details 2 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 3 Dialogical Logic Mcconaughey, Zoe; Clerbout, Nicolas In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (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 Grounding, Quantifiers, and Paradoxes Genco, Francesco,; Poggiolesi, Francesca; Rossi, Lorenzo In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021) BASE Show details 7 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 8 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 9 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 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 Stellar Resolution: Multiplicatives - for the linear logician, through examples Eng, Boris In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021) BASE Show details 12 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 13 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 14 Logical foundations for hybrid type-logical grammars Moot, Richard; Stevens-Guille, Symon Jory In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02944393 ; Journal of Logic, Language and Information, Springer Verlag, In press (2021) BASE Show details 15 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 16 Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds Piccolomini d'Aragona, Antonio In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03372615 ; Studia Logica, Springer Verlag (Germany), 2021, ⟨10.1007/s11225-021-09969-8⟩ (2021) BASE Show details 17 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 18 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 19 A categorical study of spectral dualities ; Une étude catégorique des dualités spectrales Osmond, Axel. - : HAL CCSD, 2021 In: https://hal.archives-ouvertes.fr/tel-03609605 ; Category Theory [math.CT]. Université de Paris, 2021. English (2021) BASE Show details 20 Mathematical works of Vladimir A. Uspensky: a commentary (Enlgish and Russian texts) ; Математические работы Владимира Андреевича Успенского: комментарии (английский и русский текст) Shen, Alexander In: Vladimir A. Uspensky. Non-mathematical works collection (Russian version) ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-03059688 ; Vladimir A. Uspensky. Non-mathematical works collection (Russian version), 2020, 978-5-94282-675-8 (2020) Abstract: International audience ; Vladimir Andreevich Uspensky [1930-2018] was one of the Soviet pioneers of the theory of computation and mathematical logic in general. This paper is the survey of his mathematical works and their influence. (His achievements in linguistics and his organizational role are outside the scope of this survey.) Harmonic functions The first paper of Uspensky [3] appeared when he was an undergraduate student. It suggests an elementary approach to harmonic functions that is based on the definition of a harmonic function on R 2 as a function that has the mean value property. The main tool in the following observation: for fixed two poinst A, B the oriented angle ACB is a harmonic function of C, 1 and this function is a locally constant function on any circle that goes through A and B. * Vladimir Andreevich Uspensky was my teacher (and undegraduate and Ph.D advisor). Here I concentrate on his mathematical works; I hope to express my deep gratitude to him elsewere. Keyword: [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; computability history; Vladimir A. Uspensky; Владимир Андреевич Успенский URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03059688 https://hal-lirmm.ccsd.cnrs.fr/lirmm-03059688/document https://hal-lirmm.ccsd.cnrs.fr/lirmm-03059688/file/2008.02773.pdf BASE Hide details Page: 1 2 3 4 5

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