Mgr. Pavel Krajča

Master's thesis

Kvantové svazy a neklasická logika

Quantales and non-classical logic
Abstract:
V této práci se zabýváme kvantovými svazy a jejich vlastnostmi. Upravíme cyklickou logiku pospsanou K. I. Rosenthalem na dvoustranný důsledkový počet. Sestrojíme dvě rožšíření této logiky: kvantovanou cyklickou logiku a cyklickou logiku se silnou negací. U všech těchto logik vytvoříme jejich interpretaci pomocí kvantových svazů a dokážeme jejich korektnost a úplnost.
Abstract:
We study quantales and Girard quantales here. We modify K.I.Rosenthal's cyclic linear logic into two-sided sequent logic. We construct quantized cyclic linear logic and cyclic linear logic with strong negation here. Finaly, we make complete semantics for all these logics.
 

Keywords

cyklická logika kvantové svazy Girardovy kvantové svazy kvantovaná cyklická logika cyklická logika se silno negací
 
Language used: Czech
Date on which the thesis was submitted / produced: 25. 5. 2007
Identifier: https://is.muni.cz/th/crvdx/

Thesis defence

  • Date of defence: 13. 6. 2007
  • Supervisor: doc. RNDr. Jan Paseka, CSc.
  • Reader: Mgr. David Kruml, Ph.D.

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, Přírodovědecká fakulta
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Science

Master programme / field:
Mathematics / Mathematics

Theses on a related topic

List of theses with an identical keyword.