• Refine your search:
  • 
    Keyword:
    
    • Philosophy and Sociology of Sciences (4)
    • [SHS.HISPHILSO]Humanities and Social Sciences / History (4)
    • [SHS.PHIL]Humanities and Social Sciences / Philosophy (4)
    • Dialogische Logik (3)
    • Proof theory (3)
    • [INFO.INFO-CL]Computer Science [cs] / Computation and Language [cs.CL] (3)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (3)
    • dialogical logic (3)
    • logic (3)
    • meaning (3)
    •   more
  • 
    Creator / Publisher:
    
    • Rahman, Shahid (4)
    • Savoirs, Textes, Langage (STL) - UMR 8163 (STL) (4)
    • Université de Lille-Centre National de la Recherche Scientifique (CNRS) (4)
    • ADA-MESHS-STL (3)
    • Catta, Davide (3)
    • Christian Retoré (3)
    • Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) (3)
    • ANR-11-FRAL-0003,Jurilog,Théorie du Droit et Logique(2011) (2)
    • Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM) (2)
    • Clerbout, Nicolas (2)
    •   more
  • 
    Year:
    
    • 2021 (3)
    • 2016 (1)
    • 2014 (1)
    • 2012 (1)
    • 2011 (2)
    • 2001 (1)
    • 1988 (1)
  • 
    Medium:
    
    • Online (8)
    • Print (2)
  • 
    Type:
    
    • Book (7)
    • Article (3)
  • 
    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 Hits 1 – 10 of 10 1 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 2 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 3 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 4 Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory Rahman, Shahid; Jovanovic, Radmila; Clerbout, Nicolas In: Epistemology, Knowledge and the Impact of Interaction ; https://halshs.archives-ouvertes.fr/halshs-01227833 ; Epistemology, Knowledge and the Impact of Interaction, Springer, 2016 ; http://www.springer.com/us/book/9783319265049 (2016) BASE Show details 5 Constructive Type Theory and the Dialogical Turn. ; Constructive Type Theory and the Dialogical Turn.: A New Start for the Erlanger Konstruktivismus Rahman, Shahid; Clerbout, Nicolas In: Dialogische Logik. ; https://halshs.archives-ouvertes.fr/halshs-01226069 ; J. Mittelstrass, J.; C. von Bülow. Dialogische Logik., Mentis, pp.91-148., 2014 (2014) BASE Show details 6 The interactive stance : meaning for conversation Ginzburg, Jonathan. - Oxford : Oxford Univ. Press, 2012 BLLDB UB Frankfurt Linguistik Show details 7 Ludics, Dialogue and Interaction : PRELUDE Project — 2006-2009. Revised Selected Papers Lecomte, Alain; Tronçon, Samuel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 UB Frankfurt Linguistik Show details 8 Dialogical logic, Modal logic and Branches and Strategies Rahman, Shahid In: How to Play Dialogues. London ; https://halshs.archives-ouvertes.fr/halshs-01226080 ; Juan Redmond, Matheiu Fontaine. How to Play Dialogues. London, College Publications, 2011, 9781848900462 ; http://www.collegepublications.co.uk/dialogues/?00001 (2011) BASE Show details 9 On Frege’s Nightmare. A Combination of Intuitionistic, Free and Paraconsistent Logics Rahman, Shahid. - : HAL CCSD, 2001. : World Scientific, 2001 In: https://halshs.archives-ouvertes.fr/halshs-01226082 ; Heinrich Wansing. World Scientific, 2001, Essays on Non-Classical Logic (2001) BASE Show details 10 Representation and reasoning : proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux and Log. Programming Hoepelman, Jakob (Hrsg.); Hoof, A.J.M. van (Mitarb.); Krabbe, Eric C.W. (Mitarb.). - Tübingen : Niemeyer, 1988 BLLDB UB Frankfurt Linguistik Show details

Mobile view All Catalogues UB Frankfurt Linguistik 3 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 2 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 7 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0