|
This article is cited in 1 scientific paper (total in 1 paper)
Novikov Complete Logics: Translation Techniques
A. D. Yashin Moscow City University of Psychology and Pedagogics
Abstract:
We show how to construct new, explicit examples of Novikov complete logics from the known ones, using a certain version of the translation techniques.
Keywords:
Novikov complete logics.
Received: 17.01.2003
Citation:
A. D. Yashin, “Novikov Complete Logics: Translation Techniques”, Algebra Logika, 43:3 (2004), 364–378; Algebra and Logic, 43:3 (2004), 205–214
Linking options:
https://www.mathnet.ru/eng/al78 https://www.mathnet.ru/eng/al/v43/i3/p364
|
Statistics & downloads: |
Abstract page: | 337 | Full-text PDF : | 126 | References: | 60 | First page: | 1 |
|