5 papers
The pairwise Stone space of an S4 De Morgan algebra
Joseph McDonald, Filip Jankovec
The purpose of this study is to investigate the bitopological duality theory of De Morgan algebras equipped with a closure operator, known as S4 De Morgan algebras. We first introd…
Pointed Modal Abelian Logic, Algebraically
Filip Jankovec, Wolfgang Poiger
In this article, we investigate the pointed modal logic of reals. We first establish its relational (Kripke) semantics with bounded valuations in the Abelian l-group of real number…
Satisfiability in Åukasiewicz logic and its unbounded relative
Zuzana Haniková, Filip Jankovec
Unbounded Åukasiewicz logic is a substructural logic that combines features of infinite-valued Åukasiewicz logic with those of abelian logic. The logic is finitely strongly compl…
Superabelian logics
Petr Cintula, Filip Jankovec, Carles Noguera
This paper presents a unified algebraic study of a family of logics related to Abelian logic (Ab), the logic of Abelian lattice-ordered groups. We treat Ab as the base system and r…
Subvarieties of pointed Abelian l-groups
Filip Jankovec
This paper provides a complete classification of all subvarieties of pointed Abelian lattice-ordered groups (l-groups), as well as all subquasivarieties that are generated by their…