Lookup NU author(s): Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
We consider relational structures (X, R1, R2) such that X is a set and R1, R2 are two binary relations on X. For a number of different classes of structures we show that any structure can be represented as the intersection of its maximal extensions. Such a property - called extension completeness - can be seen as a generalisation of Szpilrajn's theorem which states that each partial order is the intersection of its total order extensions. When R1 can be interpreted as causality and R2 as 'weak' causality we obtain a model of concurrent histories generalising that based on causal partial orders.
Author(s): Janicki R, Koutny M
Publication type: Article
Publication status: Published
Journal: Acta Informatica
Print publication date: 06/05/1997
ISSN (print): 0001-5903
ISSN (electronic): 1432-0525
Altmetrics provided by Altmetric