A theory of prepositional types
From MaRDI portal
Publication:5332209
DOI10.4064/fm-52-3-323-344zbMath0127.00609OpenAlexW914834656MaRDI QIDQ5332209
Publication date: 1963
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213714
Related Items
A Bit of History Related to Logic Based on Equality ⋮ Leon Henkin the Reviewer ⋮ Henkin on Completeness ⋮ Reflections on a Theorem of Henkin ⋮ From Classical to Fuzzy Type Theory ⋮ The most nonelementary theory ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ Non-commutative first-order EQ-logics ⋮ Extending Montague's system: A three valued intensional logic ⋮ Identity, equality, nameability and completeness. Part II ⋮ The seven virtues of simple type theory ⋮ Visions of Henkin ⋮ A simple proof of a theorem of Statman ⋮ Elements of model theory in higher-order fuzzy logic ⋮ On fuzzy type theory ⋮ EQ-logics: non-commutative fuzzy logics based on fuzzy equality ⋮ Completeness in equational hybrid propositional type theory ⋮ The typed lambda-calculus is not elementary recursive ⋮ Leon Henkin ⋮ EQ-algebras ⋮ Subtypes in fuzzy type theory ⋮ What holds in a context? ⋮ A simple type theory with partial functions and subtypes
