Characterizing Implications of Injective Partial Orders
José Balcázar and Gemma Garriga
In: ICCS 2007(2007).

Abstract

It is known that implications in powerset-based closure systems correspond to Horn approximations in propositional logic frameworks. Here we focus on the problem of implications between injective partial orders. We set up the definitions that allow one to apply standard constructions of implications, and formally characterize the propositional theory obtained. We describe also some experimental applications of our development.

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

[Edit]