25 citations · 290 across the 54 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 1 cited
Axioms for behavioural congruence of single-pass instruction sequences
J. A. Bergstra, C. A. Middelburg
In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on instruction sequences are paid attention to: instruction sequence congruence, str…
cs.LO2017★ 5 cited
On the strongest three-valued paraconsistent logic contained in classical logic and its dual
C. A. Middelburg
LP is a three-valued paraconsistent propositional logic which is essentially the same as J3. It has most properties that have been proposed as desirable prop…