Talk:Intermediate logic

From Wikipedia, the free encyclopedia

You have new messages (last change).

Algebraic semantics are given, but what about the Kripke semantics?

Retrieved from "http://en.wikipedia.org../../../i/n/t/Talk%7EIntermediate_logic_b551.html"