Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Naturliches Schlieen fur den Shape Sven Linker
 

Summary: Nat¨urliches Schließen f¨ur den Shape
Calculus
Sven Linker
23. April 2007
Erstpr¨ufer: Prof. Dr. E.-R. Olderog
Zweitpr¨ufer: Dr. A. Sch¨afer
Inhaltsverzeichnis
1 Einleitung 5
2 Grundlagen 7
2.1 Aussagenlogik und Pr¨adikatenlogik . . . . . . . . . . . . . . . . . . . . 7
2.2 Intervall-Logik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3 Duration Calculus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.4 Shape Calculus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.5 Nat¨urliches Schließen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.6 Nat¨urliches Schließen f¨ur nicht-klassische Logiken . . . . . . . . . . . . 15
3 Eine mehrdimensionale Polyeder-Logik (MPL) 17
3.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2 Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4 Nat¨urliches Schließen f¨ur MPL 23
4.1 Starrheit und Chop-Freiheit . . . . . . . . . . . . . . . . . . . . . . . . 24

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences