Semantic trees revisited: some new completeness results

DOI10.1007/3-540-61511-3_114MaRDI QIDQ4647548zbMATH OpenOpenAlexFDO

Authors Christian G. Fermüller

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61511-3_114

zbMATH Keywords

semantic treeground instancefailure noderestricted factoringsuccessor node

Mathematics Subject Classification ID

Recommendations

• Proving refutational completeness of theorem-proving strategies
• scientific article; zbMATH DE number 4049135
• Publication:4503913
• scientific article; zbMATH DE number 4022664
• scientific article; zbMATH DE number 517000

Cites work

• scientific article; zbMATH DE number 3684933 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 512974 (Why is no real title available?)
• scientific article; zbMATH DE number 3310921 (Why is no real title available?)
• scientific article; zbMATH DE number 3346109 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Automatic Theorem Proving With Renamable and Semantic Resolution
• On Different Concepts of Resolution
• Proving refutational completeness of theorem-proving strategies
• Reduction rules for resolution-based systems
• Removing redundancy from a clause
• Resolution Strategies as Decision Procedures
• Resolution methods for the decision problem
• Resolution-based theorem proving for many-valued logics

Cited in

(8)

• Proving refutational completeness of theorem-proving strategies
• Beyond representing orthology relations by trees
• The blossom of finite semantic trees
• Trees and semantics
• Semantics of trees
• Nested semantics over finite trees are equationally hard (invited talk)
• scientific article; zbMATH DE number 1929148 (Why is no real title available?)
• scientific article; zbMATH DE number 4049135 (Why is no real title available?)

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Semantic trees revisited: some new completeness results

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