Секвенциальная аксиоматизация квазиминимальной логики.

V.M. Popov

doi:10.21146/2074-1472-2000-7-0-128-131

PDF (Русский)

Published: 04.08.2000

DOI: https://doi.org/10.21146/2074-1472-2000-7-0-128-131

V.M. Popov

Abstract

A sequential axiom ctization fo r the set o f all form ulas which are dedusible in Sm irnov’s quasi-minimal calculus is presented.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

How to Cite

Popov V. Секвенциальная аксиоматизация квазиминимальной логики. // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 128-131.

Issue

Vol 7 (2000)

Section

Papers

Language

##plugins.block.information.link##

##plugins.block.makeSubmission.linkLabel##

ISSN 2074-1472 (Print)
ISSN 2413-2713 (Online)

Publisher:
Institute of Philosophy, Russian Academy of Sciences

Frequency: 2 times per year

First issue: 1993; the journal is a redesigned continuation of the annual Logical Investigations that has been published since 1993 till 2015.

The journal is registered with the Federal Service for Supervision of Communications, Information Technology, and Mass Media (Roskomnadzor). The Mass Media Registration Certificate No. FS77-61228 on April 3, 2015.

The Journal is indexed

;

The journal is included in the list of peer-reviewed scientific editions acknowledged by the Higher Attestation Commission of the Ministry of Education and Science of the Russian Federation.

Beginning with issue 16 Logical Investigations has become a subscription publication. Subscription index in the catalogue of Russian Post is ПН145.

Contacts:
Address: 12/1 Goncharnaya Str., Moscow, 109240, Russian Federation
Phone: +7 495 697-96-65
E-mail: editorial_board@logicalinvestigations.ru

##plugins.themes.bootstrap3.article.sidebar##

##plugins.themes.bootstrap3.article.main##

Abstract

##plugins.generic.usageStats.downloads##

##plugins.themes.bootstrap3.article.details##