Recent Submissions

  • Computational Content of Fixed Points 

    Barlucchi, Giacomo (2022-12)
    We study the computational content of fixed points in relation to two logical systems with distinct characteristics. Common to both research strands is a method for dealing with the iterative nature of fixed points. In the ...
  • Representation matters in cyclic proof theory 

    Wehr, Dominik (2023-04)
    Cyclic proof systems allowderivations whose underlying structure is a finite graph, rather than a well-founded tree. The soundness of cyclic proofs is usually ensured by imposing additional conditions beyond well-formedness. ...
  • Modelling the logical mind - Using the cognitive architecture ACT-R to model human symbolic reasoning in the description logic 𝒜ℒℰ 

    Fokkens Jelle, Tjeerd (2023)
    The problem of optimising automated explanations for entailments in knowledge bases is tackled by modelling deductive reasoning processes using the cognitive architecture ACT-R. This results in the model SHARP which ...
  • Metamathematical fixed points 

    Blanck, Rasmus (2011-05)
    This thesis concerns the concept of metamathematical fixed points. After an introduction, we survey the field of metamathematics, from la fin du siècle to present. We are especially interested in the notion of fixed ...