Bc. Jakub Lédl
Bachelor's thesis
Vícedruhová rovnostní logika
Many-sorted equational logic
Anotácia:
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: English
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
- Vedúci: 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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / odbor:
Informatics / Mathematical Informatics
Práce na příbuzné téma
-
Teorie modelů
Jakub Záthurecký