Functional constructions between reaction systems and propositional logic, Salomaa, A.

[RS-Repo]

Salomaa, A. (2013). Functional constructions between reaction systems and propositional logic. International Journal of Foundations of Computer Science, 24(01), 147-159.

Abstract
We investigate formal properties, mainly issues connected with propositional logic, of reaction systems introduced by Ehrenfeucht and Rozenberg. We are concerned only with the most simple variant of the systems. Basic properties of propositional formulas are expressed in terms of reaction systems. This leads to NP-completeness (resp. co-NP-completeness) of many problems concerning reaction systems. Among such problems are: (i) deciding whether the function defined by the system is total, (ii) determining the inverse of the function, (iii) deciding whether state sequences always end with a loop. Propositional formulas with monotonic truth-functions yield a particularly simple representation in terms of reaction systems.

Link to the online copy

Bibtex file
@Article{salomaa2013functional,
title={Functional constructions between reaction systems and propositional logic},
author={Salomaa, Arto},
journal={International Journal of Foundations of Computer Science},
volume={24},
number={01},
pages={147--159},
year={2013},
publisher={World Scientific}
}