### Abstract

A hierarchy of propositional Horn formulas is introduced. The levels σ^{H}_{k} and ∏^{H}_{k} of the hierarchy are defined by way of the number of alternations between players in a certain game related to the satisfiability of Horn formulas. The satisfiability problems for formulas from a given level of the hierarchy are shown to be complete in NSPACE(log n). A certain relationship between the hierarchy and the bounded-depth circuits is exhibited. Using it we show that for some σ^{H}_{k} and ∏^{H}_{k} formulas the equivalent formulas in the lower levels of the hierarchy must be exponentially longer.

Original language | English (US) |
---|---|

Pages (from-to) | 113-119 |

Number of pages | 7 |

Journal | Theoretical Computer Science |

Volume | 68 |

Issue number | 1 |

DOIs | |

State | Published - Oct 16 1989 |

Externally published | Yes |

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

## Fingerprint Dive into the research topics of 'A hierarchy of propositional Horn formulas'. Together they form a unique fingerprint.

## Cite this

Chlebus, B. S. (1989). A hierarchy of propositional Horn formulas.

*Theoretical Computer Science*,*68*(1), 113-119. https://doi.org/10.1016/0304-3975(89)90123-0