Search
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 ...
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 ...
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 ...
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. ...