Usuzování s nekonzistentními informacemi
Usuzování s nekonzistentními informacemi
dizertační práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/100119Identifikátory
SIS: 147141
Kolekce
- Kvalifikační práce [23201]
Autor
Vedoucí práce
Oponent práce
Noguera, Carles
Jansana, Ramon
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
27. 6. 2018
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Angličtina
Známka
Prospěl/a
Klíčová slova (česky)
abstraktní algebraická logika|Belnapova-Dunnova logika|parakonzistentní logika|superbelnapovské logikyKlíčová slova (anglicky)
abstract algebraic logic|Belnap-Dunn logic|paraconsistent logic|super-Belnap logicsTato dizertační práce studuje extenze čtyřhodnotové Belnapovy-Dunnovy logiky, tzv. superbelnapovské logiky, z pohledu abstraktní algebraické logiky. Popisujeme v ní globální strukturu svazu superbelnapovských logik a ukazu- jeme, že tento svaz lze zcela popsat pomocí tříd konečných grafů splňujících jisté uzávěrové podmínky. Také zde zavádíme teorii tzv. explozivních extenzí a používáme ji k důkazu nových vět o úplnosti pro superbelnapovské logiky. Poté rozvíjeme gentzenovskou teorii důkazů pro tyto logiky a použijeme ji k důkazu věty o interpolaci pro mnoho z těchto logik. Nakonec také studujeme rozšíření Belnapovy-Dunnovy logiky o operátor pravdivosti ∆. Klíčová slova: abstraktní algebraická logika, Belnapova-Dunnova logika, parakonzistentní logika, superbelnapovské logiky
This thesis studies the extensions of the four-valued Belnap-Dunn logic, called super-Belnap logics, from the point of view of abstract algebraic logic. We describe the global structure of the lattice of super-Belnap logics and show that this lattice can be fully described in terms of classes of finite graphs satisfying some closure conditions. We also introduce a theory of so- called explosive extensions and use it to prove new completeness theorems for super-Belnap logics. A Gentzen-style proof theory for these logics is then developed and used to establish interpolation for many of them. Finally, we also study the expansion of the Belnap-Dunn logic by the truth operator ∆. Keywords: abstract algebraic logic, Belnap-Dunn logic, paraconsistent logic, super-Belnap logics