In this note we deal with intuitionistic modal logics over $\mathcal{M}\mathcal{I}PC$ and predicate superintuitionistic logics. We study the correspondence between the lattice of all (normal) extensions of MTPC and the lattice of all predicate superintuitionistic logics. Let $\mathrm{L}_{Prop}$ denote a propositional language which contains two modal operators $\square$ and $\mathrm{O}$ , and $...

We extend the notion of $P_4$-sparse graphs previously introduced by {\scshape Ho\`ang} by considering $\mathcal{F}$-sparse graphs were $\mathcal{F}$ denotes a finite set of graphs on $p$ vertices. Thus we obtain some results on $(P_5,\bar{P_5})$-sparse graphs already known on $(P_5,\bar{P_5})$-free graphs. Finally we completely describe the structure of $(P_5,\bar{P_5}, bull$)-sparse graphs, i...

‎let $mathcal a$ and $mathcal b$ be unital rings‎, ‎and $mathcal m$‎ ‎be an $(mathcal a‎, ‎mathcal b)$-bimodule‎, ‎which is faithful as a‎ ‎left $mathcal a$-module and also as a right $mathcal b$-module‎. ‎let ${mathcal u}=mbox{rm tri}(mathcal a‎, ‎mathcal m‎, ‎mathcal‎ ‎b)$ be the triangular ring and ${mathcal z}({mathcal u})$ its‎ ‎center‎. ‎assume that $f:{mathcal u}rightarrow{mathcal u}$ is...

For a frame $L$, consider the $f$-ring $ mathcal{F}_{mathcal P}L=Frm(mathcal{P}(mathbb R), L)$. In this paper, first we show that each minimal ideal of $ mathcal{F}_{mathcal P}L$ is a principal ideal generated by $f_a$, where $a$ is an atom of $L$. Then we show that if $L$ is an $mathcal{F}_{mathcal P}$-completely regular frame, then the socle of $ mathcal{F}_{mathcal P}L$ consists of those $f$...

‎Let $mathcal{F}$ be an field of zero characteristic and $N_{infty‎}(‎mathcal{F})$ be the algebra of infinite strictly upper triangular‎ ‎matrices with entries in $mathcal{F}$‎, ‎and $f:N_{infty}(mathcal{F}‎)rightarrow N_{infty}(mathcal{F})$ be a non-additive Lie centralizer of $‎N_{infty }(mathcal{F})$; that is‎, ‎a map satisfying that $f([X,Y])=[f(X),Y]$‎ ‎for all $X,Yin N_{infty}(mathcal{F})...

Let $E$ be a finite set and $\mathcal P$, $\mathcal S$, $\mathcal L$ three classes of subsets of $E$, and $r$ a function defined on $2^E$. In this paper, we give an algorithm for testing if the quadruple $(\mathcal P, \mathcal S, \mathcal L, r)$ is the locked structure of a given matroid, i.e., recognizing if $(\mathcal P, \mathcal S, \mathcal L, r)$ defines a matroid. This problem is intractab...

‎Let $mathcal A$ and $mathcal B$ be unital rings‎, ‎and $mathcal M$‎ ‎be an $(mathcal A‎, ‎mathcal B)$-bimodule‎, ‎which is faithful as a‎ ‎left $mathcal A$-module and also as a right $mathcal B$-module‎. ‎Let ${mathcal U}=mbox{rm Tri}(mathcal A‎, ‎mathcal M‎, ‎mathcal‎ ‎B)$ be the triangular ring and ${mathcal Z}({mathcal U})$ its‎ ‎center‎. ‎Assume that $f:{mathcal U}rightarrow{mathcal U}$ is...

Let $ \pi:X \rightarrow X_{0}$ be a projective morphism of schemes, such that $ X_{0}$ is Noetherian and essentially of finite type over a field $ K$. Let $ i \in \mathbb{N}_{0}$, let $ {\mathcal{F}}$ be a coherent sheaf of $ {\mathcal{O}}_{X}$-modules and let $ {\mathcal{L}}$ be an ample invertible sheaf over $ X$. Let $ Z_{0} \subseteq X_{0}$ be a closed set. We show that the depth of the hig...

A graph class $\mathcal{F}$ has the induced Erd\H{o}s-P\'osa property if there exists a function $f$ such that for every graph $G$ and every positive integer $k$, $G$ contains either $k$ pairwise vertex-disjoint induced subgraphs that belong to $\mathcal{F}$, or a vertex set of size at most $f(k)$ hitting all induced copies of graphs in $\mathcal{F}$. Kim and Kwon (SODA'18) showed that for a cy...