The axiomatic presentation of modal systems and the standard formulations of natural
deduction and sequent calculus for modal logic are reviewed, together with the difficulties …

This thesis introduces the" method of structural refinement", which serves as a means of
transforming the relational semantics of a modal and/or constructive logic into …

This book presents fresh insights into analogue quantum simulation. It argues that these
simulations are a new instrument of science. They require a bespoke philosophical analysis …

This chapter investigates Peano's philosophical views through a detailed analysis of several
mathematical practices that can be considered markers of logicism: the link between …

This thesis is concerned with the studying of an extension of the propositional linear logic
with fixpoints of type from a Curry-Howard-Lambek perspective. Linear logic with fixpoints of …

In the present contribution we look at the legacy of Hilbert's programme in some recent
developments in mathematics. Hilbert's ideas have seen new life in generalised and …

We re-examine the old question to what extent mathematics may be compared to a game.
Under the spell of Wittgenstein, we propose that the more refined object of comparison is a" …

In this paper central notions, ideas, and results of Dag Prawitz's investigations into proofs
and meaning are presented. Prawitz's seminal work on natural deduction proof systems and …

This paper introduces a natural deduction calculus for intuitionistic logic of belief IEL-which
is easily turned into a modal λ-calculus giving a computational semantics for deductions in …

Incompleteness is a fascinating phenomenon at the intersection of mathematical
foundations, computer science, and epistemology that places a limit on what is provable …