Linear Heyting algebras with a quantifier (Q5935999): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q126528188, #quickstatements; #temporary_batch_1719321775979 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q126528188 / rank | |||
Normal rank |
Latest revision as of 15:27, 25 June 2024
scientific article; zbMATH DE number 1612859
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear Heyting algebras with a quantifier |
scientific article; zbMATH DE number 1612859 |
Statements
Linear Heyting algebras with a quantifier (English)
0 references
10 July 2002
0 references
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.
0 references
linear \(Q\)-Heyting algebras
0 references
modal intuitionistic propositional calculus
0 references
variety
0 references
equational bases
0 references
subvarieties
0 references
Priestley duality
0 references