Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMATH Open1142.03322OpenAlexW2486590071MaRDI QIDQ5479268

Serge Autexier

Publication date: 7 July 2006

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

\(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps ⋮ Converting non-classical matrix proofs into sequent-style systems

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A matrix characterization for multiplicative exponential linear logic 👍 👎
• Higher-Order Quantification and Proof Search* 👍 👎
• Hintikka multiplicities in matrix decision methods for some propositional modal logics 👍 👎
• Converting non-classical matrix proofs into sequent-style systems 👍 👎
• Неклассические модификации многозначных матриц классической логики. Часть II 👍 👎
• A proof-theoretic analysis of the classical propositional matrix method 👍 👎

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

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