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 (4)

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

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

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