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 |
Externí odkaz: |