General models and extensionality

DOI10.2307/2272982zbMath0264.02050OpenAlexW1984201153MaRDI QIDQ5680123

Peter B. Andrews

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272982

Mathematics Subject Classification ID

Model theory (03C99) Combinatory logic and lambda calculus (03B40)

Related Items

Cut-elimination for quantified conditional logic, A Bit of History Related to Logic Based on Equality, A semantics for \(\lambda \)Prolog, Identity, Equality, Nameability and Completeness, Extensional higher-order paramodulation in Leo-III, Embedding and automating conditional logics in classical higher-order logic, Solving modal logic problems by translation to higher-order logic, Quantified multimodal logics in simple type theory, Higher-Order Modal Logics: Automation and Applications, Analytic tableaux for higher-order logic with choice, Combining and automating classical and non-classical logics in classical higher-order logics, Higher-Order Tarski Grothendieck as a Foundation for Formal Proof., Unification under a mixed prefix, Analytic Tableaux for Higher-Order Logic with Choice, Abstract deduction and inferential models for type theory, Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners), Automating free logic in HOL, with an experimental application in category theory

Cites Work

• General models, descriptions, and choice in type theory