Autor: Elżbieta Hajnicz
Rok vydání: 1999
Předmět:
Zdroj: Journal of Logic, Language and Information. 8:17-43
ISSN: 0925-8531
Popis: In this paper we show that properties of non-linear time structures have not been studied enough. Axioms forcing the existence of a branching point in a branching area of a structure are presented for various classes of structures. We show also that the classical Dedekind continuity axiom does not work well in non-linear structures and we suggest stronger versions. Finally, some interdependencies between the axioms presented are proved.
Databáze: OpenAIRE