Classification of Novikov Complete Logics with Extra Logical Constants

Author: Yashin A.D.

Source: Algebra and Logic, Volume 42, Number 3, May 2003 , pp. 207-216(10)

Publisher: Springer

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

Language: English

Document Type: Research article

Affiliations: 1: Ordzhonikidze 42-9, Izhevsk 426063, Russia yashin_sasha@mail.ru

Publication date: 2003-05-01

• In this: publication
• By this: publisher
• In this Subject: Mathematics and Statistics
• By this author: Yashin A.D.

Website © Publishing Technology. Article copyright remains with the publisher, society or author(s) as specified within the article.

• Terms and conditions
• Privacy policy
• Information for advertisers