Linear Heyting algebras with a quantifier (Q5935999)

It is known that in the modal intuitionistic propositional calculus (MIPC), the operators \(\square\) (``it is necessary that'') and \(\diamondsuit\) (``it is possible that'') are independent. Consequently, the sets of theorems of the \(\square\)-free fragment of MIPC and of the \(\diamondsuit\)-free fragment of MIPC are different. The \(Q\)-Heyting algebras introduced in this paper are meant for algebraically studying the \(\square\)-free fragment of MIPC. Particularly, the paper is devoted to the study of the important subvariety of linear \(Q\)-Heyting algebras. Subdirectly irreducible members of this variety are determined and equational bases for some subvarieties are given. The main tool used in the paper is the Priestley duality.