Completeness of cut-free type theories

DOI10.1007/BF02015373zbMath0291.02020MaRDI QIDQ4041553

Mitsuru Yasuhara

Publication date: 1974

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137890

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Proof theory and constructive mathematics (03F99)

Cites Work

• Unnamed Item
• Syntactical and semantical properties of simple type theory
• Simple type theory of Gentzen style with the inference of extensionality
• Completeness in the theory of types

This page was built for publication: Completeness of cut-free type theories