The following pages link to Daniel Rogozin (Q2151414):
Displaying 6 items.
- Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
- Modal type theory based on the intuitionistic modal logic \(\mathrm{IEL}^{-}\) (Q2177591) (← links)
- Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions (Q5028321) (← links)
- Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups (Q5872879) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)
- Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions (Q6339922) (← links)
