Bachelor's thesis
Awards: Dean's Award for an Outstanding Final Thesis

Many-sorted equational logic

Vícedruhová rovnostní logika

Jakub Lédl
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
Thesis description
Cílem práce je srozumitelně vysvětlit komplikace, které nastávají při zobecňování rovnostní logiky na vícedruhové algebry, představit metody jejich řešení a ilustrovat je na příkladech.
Administrative information
The thesis has been checked:
20/5/2016 14:54, doc. Mgr. Michal Kunc, Ph.D., UČO 2906
Full text of thesis
394 KB / file PDF
Language used
English English
Defence date
23/6/2016
The thesis was defended successfully

Supervisor

doc. Mgr. Michal Kunc, Ph.D., UČO 2906
ÚMS Ústavy PřF MU

Reader

RNDr. Martin Jonáš, Ph.D., UČO 359542
KTP FI MU

Literature

  • GOGUEN, J. A. and J. MESEGUER. Completeness of many-sorted equational logic. Houston Journal of Mathematics. 1985, vol. 11, No 3, p. 307-334.
  • MANCA, Vincenzo and Antonino SALIBRA. Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets. Theoretical Computer Science. 1992, vol. 94, No 1, p. 101-124.
Cite this text
Masaryk University Faculty of Informatics
Programme
Informatics
Field of Study

Theses on a related topic

List of theses with an identical keyword.

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.