Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations

DOI10.1007/978-3-642-02614-0_9zbMath1247.03016OpenAlexW1827712930MaRDI QIDQ3637268

M. Magdalena Fernández-Lebrón, Joaquín Borrego-Díaz, Gonzalo A. Aranda-Corral

Publication date: 9 July 2009

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

Full work available at URL: https://idus.us.es/xmlui/handle//11441/74836

zbMATH Keywords

Boolean derivativesindependence ruleconservative retraction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

Related Items

A logic-algebraic tool for reasoning with knowledge-based systems ⋮ A model of three-way decisions for knowledge harnessing

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-valued logic and Gröbner bases with applications to modal logic
• Boolean calculus of differences
• Hasse-Schmidt derivations and coefficient fields in positive characteristics.
• Homogenization and the polynomial calculus
• Partition-based logical reasoning for first-order and propositional theories
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Formal verification of a generic framework to synthesize SAT-provers
• A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic
• Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
• Semantic Matching: Algorithms and Implementation
• Ontology Integration Using ε-Connections
• Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
• Computer Aided Systems Theory – EUROCAST 2005