A partial functions version of Church's simple theory of types
From MaRDI portal
Publication:5753924
DOI10.2307/2274487zbMath0722.03007OpenAlexW2157560459MaRDI QIDQ5753924
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274487
partial functionslambda calculussimple theory of typesdefinite description operatorsHenkin's general models
Related Items
From Classical to Fuzzy Type Theory, The Rule of Existential Generalisation and Explicit Substitution, In the Search of a Naive Type Theory, Category theory in Isabelle/HOL as a basis for meta-logical investigation, An intensional type theory: motivation and cut-elimination, The seven virtues of simple type theory, IMPS: An updated system description, Incorporating quotation and evaluation into Church's type theory, A mechanization of strong Kleene logic for partial functions, Higher-Order Multi-Valued Resolution, Classifying categories for partial equational logic, Subtypes in fuzzy type theory, European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991, A simple type theory with partial functions and subtypes, IMPS: An interactive mathematical proof system
Uses Software
Cites Work
