Browsing Licentiat Theses / Licentiatavhandlingar by Issue Date
Now showing items 1-4 of 4
-
Metamathematical fixed points
(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 ... -
Computational Content of Fixed Points
(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 ... -
Modelling the logical mind - Using the cognitive architecture ACT-R to model human symbolic reasoning in the description logic 𝒜ℒℰ
(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 ... -
Representation matters in cyclic proof theory
(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. ...