Showing math.LOShow all
3 papers · 1 filter
math.LO2020
The finite representation property for some reducts of relation algebras
Daniel Rogozin
In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is iso…
math.LO2020
Categorical and Algebraic Aspects of the Intuitionistic Modal Logic and its predicate extensions
Daniel Rogozin
The system of intuitionistic modal logic was proposed by S. Artemov and T. Protopopescu as the intuitionistic version of belief logic \cite{Artemov}. We construct t…
math.LO2020
The Distributive Full Lambek Calculus with Modal Operators
Daniel Rogozin
In this paper, we study logics of bounded distributive residuated lattices with modal operators considering and in a noncommutative setting. We introduce relation…