Zpět na vyhledávání

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.
 

Keywords

vícedruhová univerzální algebra rovnostní logika korektnost úplnost many-sorted universal algebra equational logic soundness completeness
 
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áš

Citační záznam

Citovat tuto práci

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 informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Mathematical Informatics

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.