A theory of prepositional types
From MaRDI portal
Publication:5332209
DOI10.4064/fm-52-3-323-344zbMath0127.00609MaRDI 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
The most nonelementary theory, On fuzzy type theory, Extending Montague's system: A three valued intensional logic, The seven virtues of simple type theory, EQ-algebras, A simple proof of a theorem of Statman, The typed lambda-calculus is not elementary recursive, What holds in a context?, A simple type theory with partial functions and subtypes