A bit of history related to logic based on equality

DOI10.1007/978-3-319-09719-0_8zbMATH Open1330.03004OpenAlexW146831528MaRDI QIDQ3454805FDOQ3454805

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

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

zbMATH Keywords

type theoryequalityextensionalityaxiomHenkin

Mathematics Subject Classification ID

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

Cites Work

• The completeness of the first-order functional calculus
• A formulation of the simple theory of types
• Completeness in the theory of types
• Title not available (Why is that?)
• A theory of prepositional types
• General models and extensionality
• Title not available (Why is that?)
• General models, descriptions, and choice in type theory
• A reduction of the axioms for the theory of prepositional types
• False lemmas in Herbrand
• A transfinite type theory with type variables
• Unification of universes in set theory
• Logic based on inclusion and abstraction

Cited In (2)

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

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)