Bc. Jakub Lédl
Bakalářská práce
Vícedruhová rovnostní logika
Many-sorted equational logic
Anotace:
Naivní rozšíření klasické rovnostní logiky na algebraické struktury s více nosnými množinami není korektní. Tato práce detailně představuje dva způsoby, kterými lze rozšířit rovnostní logiku tak, aby byla zachována její korektnost a úplnost.Abstract:
The naive extension of classical equational logic to algebraic structures with multiple carrier sets fails to be sound. This thesis gives a detailed presentation of two distinct approaches to extending the logic in a way that ensures soundness and completeness of the resulting system.
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 19. 5. 2016
Identifikátor:
https://is.muni.cz/th/scvj5/
Obhajoba závěrečné práce
- Obhajoba proběhla 23. 6. 2016
- Vedoucí: doc. Mgr. Michal Kunc, Ph.D.
- Oponent: RNDr. Martin Jonáš
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Matematická informatika
Práce na příbuzné téma
-
Teorie modelů
Jakub Záthurecký