dc.contributor.advisor | Bílková, Marta | |
dc.creator | Přenosil, Adam | |
dc.date.accessioned | 2018-10-18T08:44:43Z | |
dc.date.available | 2018-10-18T08:44:43Z | |
dc.date.issued | 2018 | |
dc.identifier.uri | http://hdl.handle.net/20.500.11956/100119 | |
dc.description.abstract | Tato 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 | cs_CZ |
dc.description.abstract | 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 | en_US |
dc.language | English | cs_CZ |
dc.language.iso | en_US | |
dc.publisher | Univerzita Karlova, Filozofická fakulta | cs_CZ |
dc.subject | abstraktní algebraická logika|Belnapova-Dunnova logika|parakonzistentní logika|superbelnapovské logiky | cs_CZ |
dc.subject | abstract algebraic logic|Belnap-Dunn logic|paraconsistent logic|super-Belnap logics | en_US |
dc.title | Usuzování s nekonzistentními informacemi | en_US |
dc.type | dizertační práce | cs_CZ |
dcterms.created | 2018 | |
dcterms.dateAccepted | 2018-06-27 | |
dc.description.department | Katedra logiky | cs_CZ |
dc.description.department | Department of Logic | en_US |
dc.description.faculty | Faculty of Arts | en_US |
dc.description.faculty | Filozofická fakulta | cs_CZ |
dc.identifier.repId | 147141 | |
dc.title.translated | Usuzování s nekonzistentními informacemi | cs_CZ |
dc.contributor.referee | Noguera, Carles | |
dc.contributor.referee | Jansana, Ramon | |
dc.identifier.aleph | 002193498 | |
thesis.degree.name | Ph.D. | |
thesis.degree.level | doktorské | cs_CZ |
thesis.degree.discipline | Logic | en_US |
thesis.degree.discipline | Logika | cs_CZ |
thesis.degree.program | Logic | en_US |
thesis.degree.program | Logika | cs_CZ |
uk.thesis.type | dizertační práce | cs_CZ |
uk.taxonomy.organization-cs | Filozofická fakulta::Katedra logiky | cs_CZ |
uk.taxonomy.organization-en | Faculty of Arts::Department of Logic | en_US |
uk.faculty-name.cs | Filozofická fakulta | cs_CZ |
uk.faculty-name.en | Faculty of Arts | en_US |
uk.faculty-abbr.cs | FF | cs_CZ |
uk.degree-discipline.cs | Logika | cs_CZ |
uk.degree-discipline.en | Logic | en_US |
uk.degree-program.cs | Logika | cs_CZ |
uk.degree-program.en | Logic | en_US |
thesis.grade.cs | Prospěl/a | cs_CZ |
thesis.grade.en | Pass | en_US |
uk.abstract.cs | Tato 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 | cs_CZ |
uk.abstract.en | 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 | en_US |
uk.file-availability | V | |
uk.publication.place | Praha | cs_CZ |
uk.grantor | Univerzita Karlova, Filozofická fakulta, Katedra logiky | cs_CZ |
thesis.grade.code | P | |
dc.identifier.lisID | 990021934980106986 | |