-
59Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen RelationMathematical Logic Quarterly 17 (1): 301-313. 1971.
-
171Ontological 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
-
39Theories 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.
-
53Decision problem for linear orderings in stationary logicsBulletin of the Section of Logic 20 (3/4): 102-104. 1991.
-
54Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten QuantorenMathematical Logic Quarterly 21 (1): 229-246. 1975.
-
114Brewka Gerhard. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge tracts in theoretical computer science, no. 12. Cambridge University Press, Cambridge etc. 1991, xiii + 168 pp (review)Journal of Symbolic Logic 58 (3): 1079-1080. 1993.
-
Universität LeipzigRegular Faculty
Leipzig, Saxony, Germany