Hledat
Zobrazují se záznamy 1-1 z 1
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 ...