• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Heinrich Herre

Universität Leipzig
  •  Home
  •  Publications
    36
    • Most Recent
    • Most Downloaded
    • Topics
  •  News and Updates
    19

 More details
  • Universität Leipzig
    Regular Faculty
Leipzig, Saxony, Germany
  • All publications (36)
  •  59
    Entscheidungsprobleme in der Elementaren Theorie Einer Zweistelligen Relation
    Mathematical Logic Quarterly 17 (1): 301-313. 1971.
  •  171
    Ontological categories in GOL
    with Barbara Heller
    Axiomathes 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
    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 Informatics (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials.
    Science, Logic, and Mathematics
  •  39
    Theories of finitely determinate linear orderings in stationary logic
    In Michał Krynicki, Marcin Mostowski & Lesław W. Szczerba (eds.), Quantifiers: Logics, Models and Computation: Volume Two: Contributions, Kluwer Academic Publishers. pp. 89--113. 1995.
    Areas of Mathematics
  •  53
    Decision problem for linear orderings in stationary logics
    Bulletin of the Section of Logic 20 (3/4): 102-104. 1991.
    Nonclassical Logics
  •  54
    Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren
    with Helmut Wolter
    Mathematical Logic Quarterly 21 (1): 229-246. 1975.
  •  114
    Brewka 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.
    Epistemic Logic
  • Prev.
  • 1
  • 2
  • Next
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback