Intuitionistic logic according to Dijkstra's calculus of equational deduction

DOI10.1215/00294527-2008-017zbMath1189.03017OpenAlexW2003546572MaRDI QIDQ1049739

Jaime A. Bohórquez V.

Publication date: 13 January 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2008-017

zbMATH Keywords

intuitionistic logiccalculational styleequational deduction

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

An elementary and unified approach to program correctness ⋮ The Formal System of Dijkstra and Scholten ⋮ POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

This page was built for publication: Intuitionistic logic according to Dijkstra's calculus of equational deduction