1 problem

Let $\mathfrak F$ be a class of ${\textup{\textbf{IL}}}$-frames, and define … Let $\mathfrak{All}$ be the class of frames in which every $S$-relation implication that follows both…