RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2004 Volume 43, Number 3, Pages 364–378 (Mi al78)
This article is cited 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.

UDC: 510.64

Received: 17.01.2003


 English version: Algebra and Logic, 2004, 43:3, 205–214

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025