Terminating Tableaux for the Basic Fragment of Simple Type Theory
From MaRDI portal
Publication:3648727
DOI10.1007/978-3-642-02716-1_11zbMath1260.03013OpenAlexW1593442882MaRDI QIDQ3648727
Gert Smolka, Chad Edward Brown
Publication date: 1 December 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-02716-1_11
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (3)
Extended First-Order Logic ⋮ Analytic tableaux for higher-order logic with choice ⋮ Analytic Tableaux for Higher-Order Logic with Choice
Uses Software
This page was built for publication: Terminating Tableaux for the Basic Fragment of Simple Type Theory
