Intuitionistic logic according to Dijkstra's calculus of equational deduction (Q1049739)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Intuitionistic logic according to Dijkstra's calculus of equational deduction |
scientific article; zbMATH DE number 5657673
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intuitionistic logic according to Dijkstra's calculus of equational deduction |
scientific article; zbMATH DE number 5657673 |
Statements
Intuitionistic logic according to Dijkstra's calculus of equational deduction (English)
0 references
13 January 2010
0 references
\textit{E. W. Dijkstra} and \textit{C. S. Scholten} [Predicate calculus and program semantics. Texts and Monographs in Computer Science. New York: Springer-Verlag (1990; Zbl 0698.68011)] have proposed a formalization of classical predicate logic in the form of a calculus of equational deduction (CED) based on logical equivalence. The author proposes an intuitionstic variant (I-CED) of CED. Completeness of I-CED is proved by means of an embedding of I-CED into a complete Hilbert-style intuitionistic predicate calculus.
0 references
intuitionistic logic
0 references
calculational style
0 references
equational deduction
0 references
