Abstract
The H theory of equality E H has the axioms:
-
(a)
x = x.
-
(b)
x = y → y = x.
-
(c)
x = y → (y = z → x = z).
-
(d)
For any wff A x = y → (A (x) → A (y)).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Note
The section on end-extension is new. The rest is pretty standard. The results on fragments of arithmetic are based on a paper of K. Gordon and D. deJongh.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Gabbay, D.M. (1981). Theories in HPC 2. In: Semantical Investigations in Heyting’s Intuitionistic Logic. Synthese Library, vol 148. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2977-2_13
Download citation
DOI: https://doi.org/10.1007/978-94-017-2977-2_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8362-3
Online ISBN: 978-94-017-2977-2
eBook Packages: Springer Book Archive