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/ |
| LEADER | 03883ctm a22008297a 4500 | ||
|---|---|---|---|
| 001 | MUB01000506517 | ||
| 003 | CZ BrMU | ||
| 005 | 20070709110109.0 | ||
| 008 | 070615s2007 xr ||||| |||||||||||cze d | ||
| STA | |a POSLANO DO SKCR |b 2014-04-10 | ||
| 035 | |a (ISMU-VSKP)92798 | ||
| 040 | |a BOD114 |b cze |d BOD004 | ||
| 072 | 7 | |a 510 |x Obecné úvahy o matematice |2 Konspekt |9 13 | |
| 080 | |a 510.6 |2 MRF | ||
| 080 | |a 512.56 |2 MRF | ||
| 080 | |a 510 |2 MRF | ||
| 100 | 1 | |a Krajča, Pavel |% UČO 63706 |* [absolvent PřírF MU] |4 dis | |
| 242 | 1 | 0 | |a Quantales and non-classical logic |y eng |
| 245 | 1 | 0 | |a Kvantové svazy a neklasická logika |h [rukopis] / |c Pavel Krajča. |
| 260 | |c 2007. | ||
| 300 | |a iv, 43 l. | ||
| 500 | |a Vedoucí práce: Jan Paseka. | ||
| 502 | |a Diplomová práce (Mgr.)--Masarykova univerzita, Přírodovědecká fakulta, 2007. | ||
| 520 | 2 | |a 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. |% cze | |
| 520 | 2 | 9 | |a 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. |9 eng |
| 650 | 0 | 7 | |a matematická logika |7 ph122671 |2 czenas |
| 650 | 0 | 7 | |a svazy (algebra) |7 ph202645 |2 czenas |
| 650 | 0 | 9 | |a lattices (algebra) |2 eczenas |
| 650 | 0 | 9 | |a mathematical logic |2 eczenas |
| 655 | 7 | |a diplomové práce |7 fd132022 |2 czenas | |
| 655 | 9 | |a master's theses |2 eczenas | |
| 658 | |a Matematika |b Matematika |c PřF M-MA M (M) |2 CZ-BrMU | ||
| 700 | 1 | |a Paseka, Jan, |d 1962- |7 mub2010589590 |% UČO 1197 |4 ths | |
| 710 | 2 | |a Masarykova univerzita. |b Přírodovědecká fakulta. |b Katedra matematiky |7 kn20050428005 |4 dgg | |
| 856 | 4 | 1 | |u http://is.muni.cz/th/63706/prif_m/ |
| CAT | |c 20070615 |l MUB01 |h 0451 | ||
| CAT | |a DRIMLOVA |b 02 |c 20070618 |l MUB01 |h 1155 | ||
| CAT | |a JANA |b 02 |c 20070709 |l MUB01 |h 1101 | ||
| CAT | |c 20071001 |l MUB01 |h 0106 | ||
| CAT | |c 20071003 |l MUB01 |h 2203 | ||
| CAT | |c 20080429 |l MUB01 |h 1813 | ||
| CAT | |c 20080429 |l MUB01 |h 1828 | ||
| CAT | |a BATCH-UPD |b 02 |c 20091102 |l MUB01 |h 0604 | ||
| CAT | |a BATCH-UPD |b 02 |c 20091103 |l MUB01 |h 0127 | ||
| CAT | |c 20091203 |l MUB01 |h 0149 | ||
| CAT | |c 20091203 |l MUB01 |h 1832 | ||
| CAT | |a BATCH-UPD |b 00 |c 20091219 |l MUB01 |h 0737 | ||
| CAT | |c 20100428 |l MUB01 |h 0959 | ||
| CAT | |a BATCH-UPD |b 00 |c 20100501 |l MUB01 |h 1130 | ||
| CAT | |a POSPEL |b 02 |c 20100803 |l MUB01 |h 1228 | ||
| CAT | |a BATCH-UPD |b 02 |c 20100929 |l MUB01 |h 0317 | ||
| CAT | |c 20110627 |l MUB01 |h 1900 | ||
| CAT | |c 20110627 |l MUB01 |h 2309 | ||
| CAT | |a POSPEL |b 02 |c 20110908 |l MUB01 |h 1323 | ||
| CAT | |a batch |b 00 |c 20120324 |l MUB01 |h 0101 | ||
| CAT | |c 20120610 |l MUB01 |h 1853 | ||
| CAT | |a HANAV |b 02 |c 20120711 |l MUB01 |h 1253 | ||
| CAT | |a HANAV |b 02 |c 20120711 |l MUB01 |h 1254 | ||
| CAT | |a BATCH |b 00 |c 20130303 |l MUB01 |h 0859 | ||
| CAT | |c 20140410 |l MUB01 |h 1146 | ||
| CAT | |c 20150901 |l MUB01 |h 1435 | ||
| CAT | |c 20150921 |l MUB01 |h 1355 | ||
| CAT | |a BATCH |b 00 |c 20151225 |l MUB01 |h 2243 | ||
| CAT | |a HANAV |b 02 |c 20180809 |l MUB01 |h 1049 | ||
| CAT | |c 20210614 |l MUB01 |h 0924 | ||
| CAT | |c 20210614 |l MUB01 |h 1913 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1124 | ||
| CAT | |a POSPEL |b 02 |c 20240605 |l MUB01 |h 0018 | ||
| LOW | |a POSLANO DO SKCR |b 2014-04-10 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 PRIF |a Přírodovědecká fakulta |2 PRFSK |b ÚK sklad |3 K-8935 |5 3145337720 |8 20070618 |f 71 |f Prezenční SKLAD |q 20180420 |r 20070618 |s dar |
| AVA | |a SCI50 |b PRIF |c ÚK sklad |d K-8935 |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j PRFSK | ||