Implementing semantic tableaux

MaRDI QIDQ2753605zbMATH OpenFDO

Authors Joachim Posegga, Peter H. Schmitt

Publication date 14 November 2001

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Mechanization of proofs and logical operations (03B35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00)

Cited in

(9)

• Adding equality to semantic tableaux
• IeanCOP: lean connection-based theorem proving
• Ordered semantic hyper tableaux
• TATL: Implementation of ATL Tableau-Based Decision Procedure
• A Seligman-Style Tableau System
• Bottom-up Construction of Semantic Tableaux
• scientific article; zbMATH DE number 5511125 (Why is no real title available?)
• An efficient relational deductive system for propositional non-classical logics
• A tableau system for first-order logic with standard names

This page was built for publication: Implementing semantic tableaux

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