Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/B12030zbMath1274.03042OpenAlexW4302076531MaRDI QIDQ5187858

Agata Ciabattoni, George Metcalfe

Publication date: 9 March 2010

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

Full work available at URL: https://doi.org/10.1007/b12030

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (5)

Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Labelled Calculi for Łukasiewicz Logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Finite axiomatizability in Łukasiewicz logic ⋮ Giles's game and the proof theory of Łukasiewicz logic

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods