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...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Krajča, Pavel (Autor práce)
Další autoři: Paseka, Jan, 1962- (Vedoucí práce)
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/
Obálka
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Prezenční SKLAD
Přírodovědecká fakulta ÚK sklad K-8935 3145337720