• 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
  • 
    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 21 – 40 of 87 21 CRITIQUE OF IMPURE REASON ; CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning Bartlett, Steven James. - : HAL CCSD, 2020. : Studies in Theory and Behavior, 2020 In: https://hal.archives-ouvertes.fr/hal-02923307 ; Studies in Theory and Behavior, 2020, ⟨10.5281/zenodo.5458352⟩ (2020) BASE Show details 22 Pomset logic: a logical and grammatical alternative to the Lambek calculus Retoré, Christian In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020) BASE Show details 23 Dag Prawitz's theory of grounds ; La théorie des grounds de Dag Prawitz Piccolomini d'Aragona, Antonio. - : HAL CCSD, 2019 In: https://hal.archives-ouvertes.fr/tel-02482320 ; Logic [math.LO]. Aix-Marseille Université (AMU); Sapienza University of Rome, 2019. English (2019) BASE Show details 24 L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique Retoré, Christian In: ISSN: 0182-5887 ; Verbum (Presses Universitaires de Nancy) ; https://hal.archives-ouvertes.fr/hal-02093509 ; Verbum (Presses Universitaires de Nancy), Université de Nancy II, 2018, XL (2), pp.237-267 (2018) BASE Show details 25 Game of Grounds Piccolomini d'Aragona, Antonio; Catta, Davide In: PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves" ; https://hal.archives-ouvertes.fr/hal-01804445 ; PhilMatMED "Philosophie, histoire et didactique des mathématiques en Méditerranée: logique, langages, preuves", May 2018, Montpellier, France (2018) BASE Show details 26 Grounds in Ludics Piccolomini d'Aragona, Antonio; Catta, Davide In: FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics” ; https://hal.archives-ouvertes.fr/hal-01804443 ; FilMat Workshop 2018 “Philosophy of mathematics: objects, structures, and logics”, May 2018, Mussomeli, Italy (2018) BASE Show details 27 Introduction: inferences and proofs Crocco, Gabriella; Piccolomini d'Aragona, Antonio In: ISSN: 0167-7411 ; EISSN: 1572-8749 ; Topoi ; https://hal.archives-ouvertes.fr/hal-01761751 ; Topoi, Springer Verlag, 2018 (2018) BASE Show details 28 A partial calculus for Dag Prawitz's theory of grounds and a decidability issue Piccolomini d'Aragona, Antonio; Piccolomini D', Aragona In: Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities ; https://hal.archives-ouvertes.fr/hal-01757823 ; Christian, A., Hommen, D., Retzlaff, N., Schurz, G. (Eds.) Philosophy of Science. Between the Natural Sciences, the Social Sciences, and the Humanities, 2018, 978-3-319-72577-2 (2018) BASE Show details 29 Sémantique formelle 1 ; : Introduction à la grammaire de Montague Roussarie, Laurent. - : HAL CCSD, 2017. : Language Science Press, 2017 In: https://hal.archives-ouvertes.fr/hal-01615946 ; Language Science Press, 2017, Textbooks in Language Sciences, Stefan Müller; Martin Haspelmath, 978-1-977891-54-9. ⟨10.5281/zenodo.1000504⟩ ; http://langsci-press.org/catalog/book/143 (2017) BASE Show details 30 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 31 Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics Chatzikyriakidis, Stergios; Pasquali, Fabio; Retoré, Christian. - : HAL CCSD, 2017. : College Publications, 2017 In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803760 ; France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017) BASE Show details 32 Even Dag Prawitz turned to grounds. But why? Piccolomini d'Aragona, Antonio In: Ninth European Conference of Analytic Philosophy ; https://hal.archives-ouvertes.fr/hal-01662555 ; Ninth European Conference of Analytic Philosophy, Université de Munich, Aug 2017, Munich, Germany (2017) BASE Show details 33 Recognition procedures and Dag Prawitz's theory of grounds Piccolomini d'Aragona, Antonio In: How to say yes and no. Logical approaches to modes of assertion and denial ; https://hal.archives-ouvertes.fr/hal-01662419 ; How to say yes and no. Logical approaches to modes of assertion and denial, Università del Salento, Jan 2016, Lecce, Italy (2016) BASE Show details 34 A case of BHK-decidability. Dag Prawitz's proof- and ground-theoretic semantics Piccolomini d'Aragona, Antonio In: Eighth French Philosophy of Mathematics Workshop ; https://hal.archives-ouvertes.fr/hal-01662552 ; Eighth French Philosophy of Mathematics Workshop, Université d'Aix-Marseille, Nov 2016, Marseille, France (2016) BASE Show details 35 Recognition procedures and Dag Prawitz's theory of grounds Piccolomini d'Aragona, Antonio In: GWP 2016 - Philosophy of Science between the Natural Sciences, the Social Sciences and the Humanities ; https://hal.archives-ouvertes.fr/hal-01662543 ; GWP 2016 - Philosophy of Science between the Natural Sciences, the Social Sciences and the Humanities, Université de Düsseldorf, Mar 2016, Düsseldorf, Germany (2016) BASE Show details 36 Riconoscibilità nelle semantiche di Dag Prawitz Piccolomini d'Aragona, Antonio In: Cruciani M et al. (eds) Apprendimento, Cognizione e Tecnologia. Atti del convegno AISC Mid-term 2016 ; https://hal.archives-ouvertes.fr/hal-01662435 ; Università degli studi di Napoli "Federico II". Cruciani M et al. (eds) Apprendimento, Cognizione e Tecnologia. Atti del convegno AISC Mid-term 2016, 2016, ISBN-9788890453984 (2016) BASE Show details 37 Quantifier scope: a formal and experimental study Capelier-Mourguy, Arthur; Blache, Philippe; Retoré, Christian... In: 9e Colloque des Jeunes Chercheurs en Sciences Cognitives ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives ; https://hal.archives-ouvertes.fr/hal-01194934 ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France ; http://cjcsc.sciencesconf.org (2015) BASE Show details 38 From proofs to grounds. Topics in latest Dag Prawitz's semantics Piccolomini d'Aragona, Antonio In: Second Belgrade Graduate Conference in Philosophy and Logic ; https://hal.archives-ouvertes.fr/hal-01662403 ; Second Belgrade Graduate Conference in Philosophy and Logic, Université de Belgrade, Apr 2015, Belgrade, Serbia (2015) BASE Show details 39 Evidence and proofs in Dag Prawitz's theory of grounds Piccolomini d'Aragona, Antonio In: Congrès international triennal 2015 de la SoPhA, à Montréal ; https://hal.archives-ouvertes.fr/hal-01662411 ; Congrès international triennal 2015 de la SoPhA, à Montréal, SoPha, Jun 2015, Montreal, Canada (2015) BASE Show details 40 Logic of psychotic utterances ; Logique des énoncés psychotiques Pinto, Jean-Jacques In: https://hal.archives-ouvertes.fr/hal-01119250 ; 2015 (2015) BASE Show 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