Suggested Topics within your search.
Showing 1 - 20 results of 142 for search '"proof theory"', query time: 1.35s Refine Results
  1. 1
    Proof theory and programming
    by Hancock, P. G.
    Published 1999
    “..., then one might expect that proof theory should have much to contribute to the theory of programming...”
    Get full text
  2. 2
    Results in categorical proof theory
    by Čubrić, Djordje
    Published 1993
    Get full text
    Others
  3. 3
    2-CATEGORY AND PROOF THEORY
    by CECILIA REIS ENGLANDER LUSTOSA
    Published 2009
    Get full text
    Get full text
  4. 4
    Revisiting the proof theory of Classical S4
    Get full text
    Article
  5. 5
    Proof theory for propositional fuzzy logics
    by Metcalfe, George
    Published 2004
    Get full text
  6. 6
    The primitive proof theory of the λ-calculus
    by Vestergaard, René
    Published 2003
    Get full text
  7. 7
    Proof theory of quantified modal logics
    by Orlandelli, Eugenio <1981>
    Published 2014
    Get full text
    Doctoral Thesis
  8. 8
    Logical constants : an essay in proof theory
    by Dosen, Kosta
    Published 1980
    Get full text
  9. 9
    Labelled proof theory for conditional logic
    by Lamb, Luis da Cunha
    Published 2000
    Get full text
  10. 10
    [en] 2-CATEGORY AND PROOF THEORY
    by CECILIA REIS ENGLANDER LUSTOSA
    Published 2010
    Get full text
    Get full text
    Get full text
  11. 11
    On the infinitary proof theory of logics with fixed points
    by Doumane, Amina
    Published 2017
    “.... This thesis contributes to reduce thisdeficiency by developing the infinitary proof-theory of logics...”
    Get full text
  12. 12
    Proof theory and algorithms for answer set programming
    by Gebser, Martin
    Published 2011
    Subjects: “...Proof Theory...”
    Get full text
    Get full text
    Doctoral Thesis
  13. 13
    The proof theory and semantics of intuitionistic modal logic
    by Simpson, Alex K.
    Published 1994
    Get full text
  14. 14
    Proof theory : A survey of the Omega-rule
    by Sundholm, B. G.
    Published 1983
    Get full text
  15. 15
    Logic programming : operational semantics and proof theory
    by Andrews, James H.
    Published 1991
    Get full text
  16. 16
    Connections between proof theory and category theory
    by Mann, Colin Robert
    Published 1973
    Get full text
  17. 17
    Proof theory of graph minors and tree embeddings
    by Krombholz, Martin Rudolf Arne
    Published 2018
    Get full text
  18. 18
    A Proof Theory for Model Checking: An Extended Abstract
    by Quentin Heath, Dale Miller
    Published 2017-01-01
    Get full text
    Article
  19. 19
    Symmetric dialogue games in the proof theory of linear logic
    by Delande, Olivier
    Published 2009
    Get full text
    Get full text
  20. 20
    String diagram rewriting : applications in category and proof theory
    by Acclavio, Matteo
    Published 2016
    Get full text
Search Tools: Get RSS Feed — Email this Search