1. Hans Burkhardt & Wolfgang Degen (1990). Mereology in Leibniz's Logic and Philosophy. Topoi 9 (1):3-13.
  2.  7
    Wolfgang Degen, Barbara Heller, Heinrich Herre & Barry Smith (2001). GOL: A General Ontological Language. In C. Welty B. Smith (ed.), Formal Ontology and Information Systems. Acm Press
    Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  3
    Wolfgang Degen (2002). Factors of Functions, AC and Recursive Analogues. Mathematical Logic Quarterly 48 (1):73-86.
    We investigate certain statements about factors of unary functions which have connections with weak forms of the axiom of choice. We discuss more extensively the fine structure of Howard and Rubin's Form 314 from [4]. Some of our set-theoretic results have also interesting recursive versions.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography