Add to ORKGThe 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 paper presents Set , a first-order logic axiomatization for set theory using the approach of Dijkstra and Scholten. What is novel about the approach presented in this paper is that symbolic manipulation of formulas is an effective tool for teaching an axiomatic set theory course to sophomore-year undergraduate students in mathematics. This paper contains many examples on how argumentative proofs can be easily expressed in Set and points out how the rigorous approach of Set can enrich the learning experience of studen...
Axiomatic set theory is almost universally accepted as the basic theory which provides the foundatio...
In 1963, the first author introduced a course in set theory at the Uni versity of Illinois whose ma...
The objective of this document is to present three introductory notes on set theory: The first note ...
The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where...
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus...
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus...
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus...
The logic of E.W. Dijkstra and C.S. Scholten has been shown to be useful in program correctness proo...
The aim of this book is to present mathematical logic to students who are interested in what this fi...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
Axiomatic set theory is almost universally accepted as the basic theory which provides the founda-ti...
This thesis gives an explanation of the basic concepts of set theory, focusing primarily on high sch...
We propose an algebraic core calculus for naive or intuitive set theory. We reconstruct a fragment o...
We propose an algebraic core calculus for naive or intuitive set theory. We reconstruct a fragment o...
An analysis of the well known paradoxes found in intuitive set theory has led to the reconstruction ...
Axiomatic set theory is almost universally accepted as the basic theory which provides the foundatio...
In 1963, the first author introduced a course in set theory at the Uni versity of Illinois whose ma...
The objective of this document is to present three introductory notes on set theory: The first note ...
The algebraic approach by E.W. Dijkstra and C.S. Scholten to formal logic is a proof calculus, where...
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus...
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus...
This textbook provides a concise and self-contained introduction to mathematical logic, with a focus...
The logic of E.W. Dijkstra and C.S. Scholten has been shown to be useful in program correctness proo...
The aim of this book is to present mathematical logic to students who are interested in what this fi...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
Axiomatic set theory is almost universally accepted as the basic theory which provides the founda-ti...
This thesis gives an explanation of the basic concepts of set theory, focusing primarily on high sch...
We propose an algebraic core calculus for naive or intuitive set theory. We reconstruct a fragment o...
We propose an algebraic core calculus for naive or intuitive set theory. We reconstruct a fragment o...
An analysis of the well known paradoxes found in intuitive set theory has led to the reconstruction ...
Axiomatic set theory is almost universally accepted as the basic theory which provides the foundatio...
In 1963, the first author introduced a course in set theory at the Uni versity of Illinois whose ma...
The objective of this document is to present three introductory notes on set theory: The first note ...