论文信息 - On the canonicity of Sahlqvist identities - 字舞流文

On the canonicity of Sahlqvist identities

We give a simple proof of the canonicity of Sahlqvist identities, using methods that were introduced in a paper by Jónsson and Tarski in 1951.

Bjarni Jónsson | B. Jónsson

[1] A. Tarski,et al. Boolean Algebras with Operators. Part I , 1951 .

[2] Leon Henkin,et al. Extending Boolean operations. , 1970 .

[3] H. Ribeiro,et al. A Remark on Boolean Algebras with Operators , 1952 .

[4] Robert Goldblatt. The McKinsey Axiom Is Not Canonical , 1991, J. Symb. Log..

[5] Krister Segerberg,et al. An Introduction to Modal Logic , 1977 .

[6] Alfred Tarski,et al. Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[7] Willem J. Blok,et al. The lattice of modal logics: an algebraic investigation , 1980, Journal of Symbolic Logic.

[8] M. de Rijke,et al. Sahlqvist's theorem for boolean algebras with operators with an application to cylindric algebras , 1995, Stud Logica.

[9] Henrik Sahlqvist. Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

[10] Robert Goldblatt,et al. Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..

[11] A. Tarski,et al. Boolean Algebras with Operators , 1952 .

[12] K. Fine. Some Connections Between Elementary and Modal Logic , 1975 .