Bc. Jakub Lédl

Bachelor's thesis

Vícedruhová rovnostní logika

Many-sorted equational logic
Abstract:
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
 
Language used: English
Date on which the thesis was submitted / produced: 19. 5. 2016
Identifier: https://is.muni.cz/th/scvj5/

Thesis defence

  • Date of defence: 23. 6. 2016
  • Supervisor: doc. Mgr. Michal Kunc, Ph.D.
  • Reader: RNDr. Martin Jonáš

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Mathematical Informatics

Theses on a related topic

List of theses with an identical keyword.