The following pages link to (Q4172049):
Displaying 4 items.
- A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) (Q1134143) (← links)
- Intuitionistic diagonalizable algebras (Q1134152) (← links)
- Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) (Q1254313) (← links)
- Fixed point algebras (Q3333037) (← links)
