Pages that link to "Item:Q1134152"
From MaRDI portal
The following pages link to Intuitionistic diagonalizable algebras (Q1134152):
Displayed 8 items.
- The modal logic of provability. The sequential approach (Q1056745) (← links)
- Decision problems for classes of diagonalizable algebras (Q1075310) (← links)
- A modal calculus analogous to K4W, based on intuitionistic propositional logic, \(I^0\) (Q1134143) (← links)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723) (← links)
- Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) (Q1254313) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Fixed point algebras (Q3333037) (← links)
- Some remarks on the algebraic structure of the Medvedev Lattice (Q3481688) (← links)