An effective representation for finitely generated free interior algebras (Q1063013): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3657972 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198505 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lattice of modal logics: an algebraic investigation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The algebra of topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On closed elements in closure algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3955334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5734410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4068699 / rank | |||
Normal rank |
Latest revision as of 18:51, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An effective representation for finitely generated free interior algebras |
scientific article |
Statements
An effective representation for finitely generated free interior algebras (English)
0 references
1985
0 references
An interior algebra (IA) is in fact a closure algebra in which one works with the interior operator \(I=\rceil C\rceil\) instead of the closure operator C. An I-model is the algebraic version of the concept of Kripke model for S4. The author obtains a representation of every finitely generated free IA as an IA of subsets of the set-theoretical union of certain I-models. This yields a representation of the Heyting algebra of all open elements of the free IA as well as certain strengthened versions of several results of \textit{J. C. C. McKinsey} and \textit{A. Tarski} [Ann. Math., II. Ser. 45, 141-191 (1944; Zbl 0060.062); ibid. 47, 122-162 (1946; Zbl 0060.062)] and \textit{W. J. Block} [Indagationes Math. 39, 362-379 (1977; Zbl 0412.03041)].
0 references
finitely generated free interior algebras
0 references
closure algebra
0 references
I-model
0 references
Kripke model
0 references
representation
0 references
Heyting algebra
0 references