|
Strong equivalence on an intuitionistic Kripke model and
assertorically coextensive logics
A. Yu. Muravitskii
Received: 11.03.1980
Citation:
A. Yu. Muravitskii, “Strong equivalence on an intuitionistic Kripke model and
assertorically coextensive logics”, Algebra Logika, 20:2 (1981), 165–182
Linking options:
https://www.mathnet.ru/eng/al1723 https://www.mathnet.ru/eng/al/v20/i2/p165
|
Statistics & downloads: |
Abstract page: | 58 | Full-text PDF : | 29 |
|