Hledat
Zobrazují se záznamy 1-2 z 2
Usuzování s nekonzistentními informacemi
Usuzování s nekonzistentními informacemi
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bílková, Marta
Datum publikování: 2018
Datum obhajoby: 27. 06. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: 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- ...
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 ...
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 ...
An abstract study of completeness in infinitary logics
Abstraktní studium úplnosti pro infinitární logiky
Dizertační práce (OBHÁJENO)
Vedoucí práce: Noguera, Carles
Datum publikování: 2018
Datum obhajoby: 04. 10. 2018
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: V této dizertační práci se zabýváme studiem vlastností úplnosti infinitárních výrokových logik z pohledu abstraktní algebraické logiky. Cílem práce je pochopit, jak lze základní nástroj v důkazech uplnosti, tzv. Lindenbaumovo ...
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called ...
In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic. The goal is to under- stand how the basic tool in proofs of completeness, the so called ...