A bit of history related to logic based on equality

DOI10.1007/978-3-319-09719-0_8MaRDI QIDQ3454805zbMATH OpenOpenAlexFDO

Authors Peter B. Andrews

Publication date 27 November 2015

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09719-0_8

zbMATH Keywords

type theoryequalityextensionalityaxiomHenkin

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Short overview of the development of Hintikka's work in logic
• Publication:4720016
• scientific article; zbMATH DE number 4068823
• Lessons from Leon
• Three interpolation theorems for typeless logics

Cites work

• scientific article; zbMATH DE number 3001285 (Why is no real title available?)
• scientific article; zbMATH DE number 3288569 (Why is no real title available?)
• A formulation of the simple theory of types
• A reduction of the axioms for the theory of prepositional types
• A theory of prepositional types
• A transfinite type theory with type variables
• Completeness in the theory of types
• False lemmas in Herbrand
• General models and extensionality
• General models, descriptions, and choice in type theory
• Logic based on inclusion and abstraction
• The completeness of the first-order functional calculus
• Unification of universes in set theory

Cited in

(2)

• Identity, equality, nameability and completeness. II
• Propositional type theory of indeterminacy

Describes a project that uses

Uses Software

• ETPS

This page was built for publication: A bit of history related to logic based on equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454805)