Chang's modal operators in algebraic logic (Q2266713)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Chang's modal operators in algebraic logic |
scientific article |
Statements
Chang's modal operators in algebraic logic (English)
0 references
1983
0 references
The author defines Chang algebras as algebraic models for the modal logic introduced and studied by \textit{C. C. Chang} [Lect. Notes Math. 337, 599- 617 (1973; Zbl 0276.02012)]. The main result of this paper is a representation theorem for these algebras.
0 references
polyadic algebra
0 references
Chang algebras
0 references
modal logic
0 references
representation theorem
0 references