On the canonicity of Sahlqvist identities |
| |
Authors: | Bjarni Jónsson |
| |
Institution: | (1) Department of Mathematics, Vanderbilt University, 37240 Nashville, TN, USA |
| |
Abstract: | 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.Presented byMelvin Fitting; |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|