-
75Modelltheoretische Eigenschaften Endlichvalenter GraphenMathematical Logic Quarterly 26 (1-6): 51-58. 1980.
-
41Die Entscheidbarkeit der Elementaren Theorie dern-Separierten Symmetrischen Graphen Endlicher ValenzZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18): 249-254. 1972.
-
61Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen RelationMathematical Logic Quarterly 17 (1): 301-313. 1971.
-
173Ontological categories in GOLAxiomathes 14 (1): 57-76. 2004.General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med) at the University of Leipzig which is based on the collaborative work of the Institute of Medical Inf…Read more
-
40Theories of finitely determinate linear orderings in stationary logicIn Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions, Kluwer Academic Publishers. pp. 89--113. 1995.
-
55Decision problem for linear orderings in stationary logicsBulletin of the Section of Logic 20 (3/4): 102-104. 1991.
-
Universität LeipzigRegular Faculty
Leipzig, Saxony, Germany