Extended First-Order Logic

DOI10.1007/978-3-642-03359-9_13MaRDI QIDQ3183527zbMATH OpenOpenAlexFDO

Authors Gert Smolka, Chad E. Brown

Publication date 20 October 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03359-9_13

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Analytic Tableaux for Simple Type Theory and its First-Order Fragment
• First-Order Logic with Dependent Types
• scientific article; zbMATH DE number 1354137
• scientific article; zbMATH DE number 824731
• Higher-order semantics and extensionality

Cites work

• Automated reasoning in higher-order logic. Set comprehension and extensionality in Church's type theory
• Classical type theory
• Completeness, invariance and λ-definability
• Hauptsatz for higher order logic
• scientific article; zbMATH DE number 3485758 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• Terminating tableaux for the basic fragment of simple type theory

Cited in

(15)

• Fixed-point extensions of first-order logic
• Lash 1.0 (system description)
• Generating custom set theories with non-set structured objects
• Rigid first-order hybrid logic
• Epsilon-logic is more expressive than first-order logic over finite structures
• Extensional Logic of Hyperintensions
• Terminating tableaux for the basic fragment of simple type theory
• Analytic tableaux for higher-order logic with choice
• First order expressivist logic
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• First order data types and first order logic
• scientific article; zbMATH DE number 7267155 (Why is no real title available?)
• An expansion of first-order Belnap-Dunn logic
• Analytic tableaux for higher-order logic with choice
• An extension of first order limit language

This page was built for publication: Extended First-Order Logic

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