Artykuły

Categorical Abstract Algebraic Logic: Wojcicki's Conjecture and Malinowski's Theorem

Reports on Mathematical Logic, 2017, Number 52, s. 61-74
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.004.7142

Categorical abstract algebraic logic weakly referential π-institutions

Reports on Mathematical Logic, 2016, Number 51, s. 91-103
Data publikacji online: 14 września 2016
DOI 10.4467/20842589RM.16.007.5284

Secrecy Logic: Protoalgebraic S-Secrecy Logics

Reports on Mathematical Logic, Number 47, s. 3-28
Data publikacji online: 23 sierpnia 2012
DOI 10.4467/20842589RM.12.001.0682

Categorical Abstract Algebraic Logic: Coordinatization is Algebraization

Reports on Mathematical Logic, Number 47, s. 125-145
DOI 10.4467/20842589RM.12.006.0687