Redundancy in Logic II: 2CNF and Horn Propositional Formulae
Artificial Intelligence
2021-04-12 v3 Logic in Computer Science
Abstract
We report complexity results about redundancy of formulae in 2CNF form. We first consider the problem of checking redundancy and show some algorithms that are slightly better than the trivial one. We then analyze problems related to finding irredundant equivalent subsets (I.E.S.) of a given set. The concept of cyclicity proved to be relevant to the complexity of these problems. Some results about Horn formulae are also shown.
Cite
@article{arxiv.cs/0506074,
title = {Redundancy in Logic II: 2CNF and Horn Propositional Formulae},
author = {Paolo Liberatore},
journal= {arXiv preprint arXiv:cs/0506074},
year = {2021}
}
Comments
Corrected figures on Theorem 10; added and modified some references