Hlavní stránka > Výsledky hledání: keywords:"proof theory"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
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)
Úplný záznam
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/
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English