General models and extensionality

DOI10.2307/2272982MaRDI QIDQ5680123zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• General models, descriptions, and choice in type theory

Cited in

(22)

• Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
• Embedding and automating conditional logics in classical higher-order logic
• Solving modal logic problems by translation to higher-order logic
• A semantics for Prolog
• Cut-elimination for quantified conditional logic
• Extensional higher-order paramodulation in Leo-III
• Analytic tableaux for higher-order logic with choice
• Combining and automating classical and non-classical logics in classical higher-order logics
• Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments
• Identity, equality, nameability and completeness
• Analytic tableaux for higher-order logic with choice
• Higher-order modal logics: automation and applications
• Quantified multimodal logics in simple type theory
• Faithful logic embeddings in HOL -- deep and shallow
• Notes on Gödel's and Scott's variants of the ontological argument
• Unification under a mixed prefix
• A bit of history related to logic based on equality
• Semantical investigations on non-classical logics with recovery operators: negation
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.
• Solving quantified modal logic problems by translation to classical logics
• Automating free logic in HOL, with an experimental application in category theory
• Abstract deduction and inferential models for type theory

This page was built for publication: General models and extensionality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5680123)