Browsing AC - GIMATH: Grupo de investigación en Matemáticas de la Escuela Colombiana de Ingeniería by Subject "Scholten logic Derivation Formal system Zermelo"
Now showing items 1-1 of 1
-
Axiomatic Set Theory à la Dijkstra and Scholten
(Springer VerlagAlemania, 2017)The algebraic approach by E. W. Dijkstra and C. S. Scholten to formallogic is a proof calculus, where the notion of proof is a sequence of equivalencesproved – mainly – by using substitution of ‘equals for equals’. This ...