4 papers
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…
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…
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…
Quantale semantics of Lambek calculus with subexponential modalities
Daniel Rogozin
In this paper, we consider the polymodal version of Lambek calculus with subexponential modalities initially introduced by Kanovich, Kuznetsov, Nigam, and Scedrov and its quantale…