# Sequential decomposition of propositional logic programs

arXiv: https://arxiv.org/abs/2304.13522 · HTML: https://mlsanity.com/paper/2304.13522/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 4 of its 37 references that are in the map.
- First posted on arXiv 21 Feb 2023.

## Builds on (most cited first, 4 of 4)

- [Logic program proportions](https://mlsanity.com/paper/1809.09938/) (2018)
- [Sequential composition of propositional logic programs](https://mlsanity.com/paper/2009.05774/) (2020)
- [Sequential composition of answer set programs](https://mlsanity.com/paper/2104.12156/) (2021)
- [On syntactically similar logic programs and sequential decompositions](https://mlsanity.com/paper/2109.05300/) (2021)

## Abstract (arXiv)

The sequential composition of propositional logic programs has been recently introduced. This paper studies the sequential em decomposition of programs by studying Green's relations L,R,J -- well-known in semigroup theory -- between programs. In a broader sense, this paper is a further step towards an algebraic theory of logic programming.