Automated Synthesis of Tableau Calculi

DOI10.1007/978-3-642-02716-1_23zbMath1218.03011arXiv1104.4131OpenAlexW2408610956MaRDI QIDQ5902297

Renate A. Schmidt, Dmitry Tishkovsky

Publication date: 1 December 2009

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

Full work available at URL: https://arxiv.org/abs/1104.4131

zbMATH Keywords

completenessfirst-order logicautomated reasoningdecidabilityintuitionistic propositional logicsoundnesstableau calculidecision procedurecalculus synthesis

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (4)

A Tableau Method for Checking Rule Admissibility in S4 ⋮ Simulation and Synthesis of Deduction Calculi ⋮ $\textsc{Met\hspace{-.5pt}TeL}$ : A Tableau Prover with Logic-Independent Inference Engine ⋮ Unification in linear temporal logic LTL

This page was built for publication: Automated Synthesis of Tableau Calculi