New operations in intuitionistic calculus-Reference-Cited by-同舟云学术

New operations in intuitionistic calculus

Published:1977-07 Issue:1 Volume:22 Page:503-506
ISSN:0001-4346
Container-title:Mathematical Notes of the Academy of Sciences of the USSR
language:en
Short-container-title:Mathematical Notes of the Academy of Sciences of the USSR

Author:

Bessonov A. V.

Publisher

Springer Science and Business Media LLC

Subject

General Mathematics

Link

http://link.springer.com/content/pdf/10.1007/BF01147689.pdf

Reference6 articles.

1. Ya. S. Smetanich, ?On completeness of the propositional calculus with a supplementary operation of one variable,? Tr. Mosk. Mat. O-va,9, 357?371 (1960).

2. K. Schütte, ?Complete systems of modal and intuitionistic logic,? in: Modal Logics, R. Feys and J. C. McKinsey, North-Holland, Amsterdam.

3. A. V. Kuznetsov and V. Ya. Gerchii, ?On superintuitionistic logics with finite approximatizability,? Dokl. Akad. Nauk SSSR,195, No. 5, 1029?1032 (1970).

4. H. Rasiowa and R. Sikorski, Mathematics of Metamathematics, Hafner (1970).

5. V. A. Yankov, ?Construction of sequences of strongly independent superintuitionistic propositional calculi,? Dokl. Akad. Nauk SSSR,181, No. 33, 33?35 (1968).

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Irreflexive Modality, the Dummett Logic, and Continual Chains;Siberian Mathematical Journal;2018-03

2. Dummett Logic, Irreflexive Modality and Novikov Completeness;Larisa Maksimova on Implication, Interpolation, and Definability;2018

3. Irreflexive modality as a new logical connective in the Dummett logic;Siberian Mathematical Journal;2014-01

4. Logic KM: A Biography;Leo Esakia on Duality in Modal and Intuitionistic Logics;2014

5. Bibliography;Many-Dimensional Modal Logics - Theory and Applications;2003