|
|
d-Frames as algebraic duals of bitopological spaces
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce) ; Picado, Jorge (oponent) ; Cintula, Petr (oponent)
Achim Jung a Drew Moshier vyvinuli dualitu pro bitopologické prostory podobnou Stoneově dualitě čímž, mimo jiné, získali praktický nástroj k vyřešení konkrétího problému v teorii stabilně kompaktních prostorů. Tímto také objevili že tato dualita mezi bitopologickými prostory a jejich algebraickými protějšky, zvanými d-framy, zahrnuje i další známé duality. Cílem této práce je vzít práci Junga a Moshiera a doplnit některé z chybějících aspektů je- jich teorie. Konkrétně, prozkoumáme základní kategorické vlastnosti d-framů, vyvineme takovou Vietorisovu konstrukci pro d-framy, že zobecníme příslušné Vietorisovy konstrukce v dalších kat- egoriích, a prozkoumáme spojitosti mezi bitopologickými prostory a parakonzistentní logikou a poté vyvineme vhodnou (geometrickou) logiku pro d-framy.
|
|
|
A Four-Valued Kripke Semantics for Classical and Intuitionistic Logic
Přenosil, Adam ; Bílková, Marta (vedoucí práce) ; Cintula, Petr (oponent)
Práce zavádí logiku, která kombinuje intuicionistickou implikaci s de Morganovskou negací způsobem, který konzervativně rozšiřuje jak klasickou tak intuicionistickou logiku. Tato logika je intuicionistickým protějškem čtyřhodnotové Belnap-Dunnovy logiky. V souvislosti s touto logikou studujeme de Morganovské algebry a jejich rozšíření, zejména jejich rozšíření o konstantu reprezentující nekonzistenci. Dokazujeme dualitu pro takovéto algebry rozšiřující Priestleyovskou dualitu. Také zavádíme pojem slabé modální algebry a dokazujeme pro takovéto algebry dualitu. Nakonec definujeme analytické sekventové kalkuly pro různé logiky de Morganovské negace. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
NCMPL 2011 Abstracts
Cintula, Petr ; Ju, S. ; Víta, Martin
This volume contains (extended) abstracts of all 6 invited and 25 contributed talks presented at the conference Non-Classical Modal and Predicate Logics which took place in Guangzhou, December 5-9, 2011. Modalities and predicates have since ancient time been central notions in logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical settings. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades. Although there are many good conferences on (mainly propositional) non-classical logics, this conference was solely dedicated to modal and predicate non-classical logics. Its aim was to bring together esearchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
|
|
| |
|
|
Logic, Algebra and Truth Degrees 2010
Chvalovský, Karel ; Cintula, Petr ; Noguera, C.
Volume of abstracts from the conference Logic, Algebra and Truth Degrees 2010 (the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic) which was held on 7-11 September 2010 in Prague. The volume was published by Institute of Theoretical informatics as volume 2010-502 of ITI Series and is available at http://iti.mff.cuni.cz/series/
|
|
| |
|
| |
|
| |
|
| |
host ::
RSS.