3 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.CC2024
On the formalization of the notion of a concurrent algorithm
C. A. Middelburg
Previous papers give accounts of quests for satisfactory formalizations of the classical informal notion of an algorithm and the contemporary informal notion of an interactive algo…
cs.LO2023
On an ordinary expansion of first-order Belnap-Dunn logic
C. A. Middelburg
This paper concerns an expansion of first-order Belnap-Dunn logic whose connectives and quantifiers all have a counterpart in classical logic. The language and logical consequence…
q-fin.GN2011★ 3 cited
An Application Specific Informal Logic for Interest Prohibition Theory
J. A. Bergstra, C. A. Middelburg
Interest prohibition theory concerns theoretical aspects of interest prohibition. We attempt to lay down some aspects of interest prohibition theory wrapped in a larger framework o…