Název: Algebraická a kripkovská sémantika substrukturálních logik
Překlad názvu: Algebraic and Kripke semantics of substructural logics
Autoři: Arazim, Pavel ; Bílková, Marta (vedoucí práce) ; Běhounek, Libor (oponent)
Typ dokumentu: Diplomové práce
Rok: 2011
Jazyk: eng
Abstrakt: [eng] [cze]
This thesis is about the distributive full Lambek calculus, i.e., intuicionistic logic without the structural rules of exchange, contraction and weakening and particularly about the two semantics of this logic, one of which is algebraic, the other one is a Kripke semantic. The two semantics are treated in separate chapters and some results about them are shown, for example the disjunction property is proven by amalgamation of Kripke models. The core of this thesis is nevertheless the relation of these two semantics, since it is interesting to study what do they have in common and how can they actually differ, both being a semantics of the same logic. We show how to translate frames to algebras and algebras to frames, and, moreover, we extend such translation to morphisms, thus constructing two functors between the two categories. Key words:distributive FL logic, distributive full Lambek calculus, structural rules, distributive residuated lattice, Kripke frames, frame morphisms, category, functor 2 Tato práce se zabývá distributivním Lambekovým kalkulem, tedy intuicionistickou logikou bez pravidel záměny, kontrakce a oslabení, a především dvěma různými sé- mantikami této logiky, totiž sémantikou algebraickou a kripkovskou. Tyto dvě séman- tiky jsou nejdříve pojednávány ve zvláštních kapitolách a jsou prezentovány některé výsledky, které se jich týkají, např. se ukáže vlastnostnost disjunkce pomocí sloučení dvou Kripkovských modelů. Jádrem práce je nicméně především vztah těchto dvou sémantik, protože je zajímavé porovnávat, co mají společného, a čím se vůbec mohou lišit, když jsou obě sémantikami téže logiky. Bude ukázán překlad kripkovských rámců na algebry a algeber na rámce a dále bude tento překlad rožšířen i na morfismy, čímž budou zkonstruovány dva funktory mezi oběma kategoriemi. Klíčová slova:distributivní logika FL, distributivní Lambekův kalkul, strukturální pravidla, distributivní residuované svazy, kripkovské rámce, morfismy mezi rámci, kategorie, funktor 3
Klíčová slova: distributivní Lambekův kalkul; distributivní logika FL; distributivní residuované svazy; funktor; kategorie; kripkovské rámce; morfismy mezi rámci; strukturální pravidla; category; distributive FL logic; distributive full Lambek calculus; distributive residuated lattice; frame morphisms; functor; Kripke frames; structural rules

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/47968

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-312254


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce