Extended First-Order Logic

DOI10.1007/978-3-642-03359-9_13zbMath1252.03026OpenAlexW2127276566MaRDI QIDQ3183527

Gert Smolka, Chad Edward 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)

Related Items

Generating custom set theories with non-set structured objects, Analytic tableaux for higher-order logic with choice, Analytic Tableaux for Higher-Order Logic with Choice, Lash 1.0 (system description)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Terminating Tableaux for the Basic Fragment of Simple Type Theory
• Completeness, invariance and λ-definability
• Hauptsatz for higher order logic