Back to Search Start Over

A Bit of History Related to Logic Based on Equality

Authors :
Peter B. Andrews
Source :
Studies in Universal Logic ISBN: 9783319097183
Publication Year :
2014
Publisher :
Springer International Publishing, 2014.

Abstract

This historical note illuminates how Leon Henkin’s work influenced that of the author. It focuses on Henkin’s development of a formulation of type theory based on equality, and the significance of this contribution.

Subjects

Subjects :
Bit (horse)
Theoretical computer science
Development (topology)
Type theory
Work (electrical)
Extensionality
Calculus
Axiom
Mathematics

Details

ISBN :
978-3-319-09718-3
ISBNs :
9783319097183
Database :
OpenAIRE
Journal :
Studies in Universal Logic ISBN: 9783319097183
Accession number :
edsair.doi...........de454c62d421a83a480e4d44c1d2cf26
Full Text :
https://doi.org/10.1007/978-3-319-09719-0_8
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details