---
title: Propositional theories are strongly equivalent to logic programs
url: https://www.emergentmind.com/papers/0701095
type: paper
arxiv_id: '0701095'
arxiv_url: https://arxiv.org/abs/0701095
published: '2007-01-16'
categories:
- cs.AI
- cs.LO
---

# Propositional theories are strongly equivalent to logic programs

## Abstract

This paper presents a property of propositional theories under the answer sets semantics (called Equilibrium Logic for this general syntax): any theory can always be reexpressed as a strongly equivalent disjunctive logic program, possibly with negation in the head. We provide two different proofs for this result: one involving a syntactic transformation, and one that constructs a program starting from the countermodels of the theory in the intermediate logic of here-and-there.