• Refine your search:
  • 
    Keyword:
    
    • Deduktion (3)
    • Sprachlogik (3)
    • Computerlinguistik (2)
    • Induktion (2)
    • Intuitionistische Logik (2)
    • Kongresse / Workshops (2)
    • Modale Logik (2)
    • Proof-theoretic semantics (2)
    • Quantorenlogik (2)
    • Reasoning (artificial intelligence) (2)
    •   more
  • 
    Creator / Publisher:
    
    • Dyckhoff, Roy (5)
    • Francez, Nissim (2)
    • Wansing, Heinrich (2)
    • Avron, Arnon (1)
    • Basin, David (1)
    • Ben-Avi, Gilad (1)
    • Byrnes, John (1)
    • Dyckhoff, Roy [Sonstige] (1)
    • Francez, Nissim [Verfasser] (1)
    • Honsell, Furio (1)
    •   more
  • 
    Year:
    
    • 2011 (1)
    • 2010 (2)
    • 2001 (2)
    • 1998 (1)
  • 
    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 Hits 1 – 6 of 6 1 Proof-theoretic semantics for a natural language fragment [<Journal>] Francez, Nissim [Verfasser]; Dyckhoff, Roy [Sonstige] DNB Subject Category Language Show details 2 Proof-theoretic semantics for a natural language fragment Francez, Nissim; Dyckhoff, Roy In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 33 (2010) 6, 447-477 BLLDB OLC Linguistik Show details 3 Proof-theoretic semantics for subsentential phrases Francez, Nissim; Dyckhoff, Roy; Ben-Avi, Gilad In: Studia logica. - Dordrecht : Springer Science + Business Media 94 (2010) 3, 381-401 BLLDB Show details 4 Analytic tableaux and related methods. Part 1 : modal logics Dyckhoff, Roy (Hrsg.); Wansing, Heinrich (Hrsg.) In: Studia logica. - Dordrecht : Springer Science + Business Media 69 (2001) 1, 1-191 BLLDB Show details 5 Analytic tableaux and related methods. Part 2 : non-classical logics Dyckhoff, Roy (Hrsg.); Wansing, Heinrich (Hrsg.) In: Studia logica. - Dordrecht : Springer Science + Business Media 69 (2001) 2, 195-326 BLLDB Show details 6 Natural deduction Pfenning, Frank (Hrsg.); Sieg, Wilfried (Hrsg.); Pelletier, Francis Jeffry (Mitarb.)... In: Studia logica. - Dordrecht : Springer Science + Business Media 60 (1998) 1, 1-231 BLLDB Show details

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