Kvantové svazy a neklasická logika
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 interpr...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2007.
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/63706/prif_m/ |
| Shrnutí: | 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. 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. |
|---|---|
| Popis jednotky: | Vedoucí práce: Jan Paseka. |
| Fyzický popis: | iv, 43 l. |