Listar por tema "Formal system"
Mostrando ítems 1-2 de 2
-
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer NatureSuiza, 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 NatureUSA., 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 ...