Vícedruhová rovnostní logika

Bc. Jakub Lédl

Bakalářská práce

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.

Keywords

vícedruhová univerzální algebra, rovnostní logika, korektnost, úplnost, many-sorted universal algebra, equational logic, soundness, completeness

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 19. 5. 2016

Obhajoba závěrečné práce

• Obhajoba proběhla 23. 6. 2016
• Vedoucí: doc. Mgr. Michal Kunc, Ph.D.
• Oponent: RNDr. Martin Jonáš

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika