Characterizing Implications of Injective Partial Orders

  • Authors:

  • José L. Balcázar;Gemma C. Garriga

  • Affiliations:

  • Laboratori d'Algorísmica Relacional, Complexitat i Aprenentatge, Universitat Politècnica de Catalunya, Barcelona,;HIIT Basic Research Unit, Helsinki University of Technology,

  • Venue:
  • ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.