Synthetic tableaux: Minimal tableau search heuristics

DOI10.1007/978-3-031-10769-6_25MaRDI QIDQ2104533zbMATH OpenOpenAlexFDO

Authors Michał Sochański, Dorota Leszczyńska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-10769-6_25

zbMATH Keywords

data analysisHaskellpigeonhole principleminimal tableauproof-search heuristicssynthetic tableau

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 1220670 (Why is no real title available?)
• scientific article; zbMATH DE number 2024622 (Why is no real title available?)
• scientific article; zbMATH DE number 2033314 (Why is no real title available?)
• scientific article; zbMATH DE number 2109247 (Why is no real title available?)
• scientific article; zbMATH DE number 834573 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 2213624 (Why is no real title available?)
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Completely non-clausal theorem proving
• Identifying efficient abductive hypotheses using multicriteria dominance relation
• Polynomial size proofs of the propositional pigeonhole principle
• Tableau methods for classical propositional logic
• The Taming of the Cut. Classical Refutations with Analytic Cut
• The intractability of resolution
• The relative efficiency of propositional proof systems

Cited in

(1)

• Representing formulas of propositional logic by cographs, permutations and tables

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Synthetic tableaux: Minimal tableau search heuristics

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