Completeness in the theory of types
From MaRDI portal
Publication:5798021
DOI10.2307/2266967zbMath0039.00801WikidataQ55881115 ScholiaQ55881115MaRDI QIDQ5798021
Publication date: 1950
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266967
Related Items
Alonzo church:his life, his work and some of his miracles, The Discovery of My Completeness Proofs, On behavioural abstraction and behavioural satisfaction in higher-order logic, Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\), Universal algebra in higher types, Unification under a mixed prefix, Simply-typed underdeterminism, The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion, Hybrid terms and sentences, Carnap's work in the foundations of logic and mathematics in a historical perspective, A simple type theory with partial functions and subtypes, IMPS: An interactive mathematical proof system, Are the traditional philosophies of mathematics really incompatible?, Schrödinger logics, A semantics for \(\lambda \)Prolog, Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus, Using tactics to reformulate formulae for resolution theorem proving, Propositional quantification in the topological semantics for \(\mathbf S4\), Circumscriptive theories: A logic-based framework for knowledge representation, Dynamic squares, The compactness of first-order logic:from gödel to lindström, Classifying spaces for toposes with enough points