| Заглавие | Modal logic for 3D incidence geometry |
| Вид публикация | Journal Article |
| Година на публикуване | 2009 |
| Автори | Gerassimov O |
| Списание | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
| Том | 99 |
| ключови думи | Axiomatization, Completeness Theorem, equivalence relations, Incidence Geometry, Modal Logic of Irreflexivity |
| Резюме | Three sorted geometrical space of incidence is represented as equivalent uni-sorted objects structure of incidences, and a modal logic using three equivalence relations and a difference relation is used to axiomatize that class. Completeness theorem is proven. |
| Прикачен файл | Размер |
|---|---|
 99-037-067.pdf | 3.1 MB |