RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 2003 Volume 42, Number 3, Pages 366–383 (Mi al35)
This article is cited in 4 papers

Classification of Novikov Complete Logics with Extra Logical Constants

A. D. Yashin


Abstract: We give an exhaustive classification of Novikov complete extensions of the intuitionistic propositional logic in a language with extra logical constants.

Keywords: intuitionistic logic, logical constant, Novikov completeness.

UDC: 510.64

Received: 12.07.2000
Revised: 10.04.2003


 English version: Algebra and Logic, 2003, 42:3, 207–216

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025