Buscar
Mostrando ítems 1-2 de 2
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer Nature, 2017)
The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer Nature, 2017)
The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where the notion of proof is a sequence of equivalences proved – mainly – by using substitution of ‘equals for equals’. This ...