The following pages link to A theory of prepositional types (Q5332209):
Displaying 27 items.
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Visions of Henkin (Q514560) (← links)
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- The most nonelementary theory (Q598194) (← links)
- Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
- On fuzzy type theory (Q703370) (← links)
- Extending Montague's system: A three valued intensional logic (Q918539) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- EQ-algebras (Q1043290) (← links)
- A simple proof of a theorem of Statman (Q1199546) (← links)
- The typed lambda-calculus is not elementary recursive (Q1259590) (← links)
- What holds in a context? (Q1312161) (← links)
- A simple type theory with partial functions and subtypes (Q1314643) (← links)
- Non-commutative first-order EQ-logics (Q1697347) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- Subtypes in fuzzy type theory (Q2328911) (← links)
- Leon Henkin (Q3454796) (← links)
- A Bit of History Related to Logic Based on Equality (Q3454805) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Henkin on Completeness (Q3454811) (← links)
- Reflections on a Theorem of Henkin (Q3454814) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- A monadic second-order version of Tarski's geometry of solids (Q6559162) (← links)
- Quantifiers and conceptual existence (Q6601782) (← links)
- Propositional type theory of indeterminacy (Q6642826) (← links)
- Puzzles of existential generalisation from type-theoretic perspective (Q6659899) (← links)
