Metadata
Author: ParaCrawl Corpus
Data
Czech[cs]
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.
English[en]
Among others, we will see that presence of these connectives can ensure provability of In this thesis we study completeness properties of infinitary propositional logics from the perspective of abstract algebraic logic.