Irreflexive modality as a new logical connective in the Dummett logic-Reference-Cited by-同舟云学术

Irreflexive modality as a new logical connective in the Dummett logic

Published:2014-01 Issue:1 Volume:55 Page:185-190
ISSN:0037-4466
Container-title:Siberian Mathematical Journal
language:en
Short-container-title:Sib Math J

Author:

Yashin A. D.

Publisher

Pleiades Publishing Ltd

Subject

General Mathematics

Link

http://link.springer.com/content/pdf/10.1134/S0037446614010212.pdf

Reference14 articles.

1. Novikov P. S., Constructive Mathematical Logic from the Point of View of Classical Logic [in Russian], Nauka, Moscow (1977).

2. Skvortsov D. P., “On intuitionistic propositional calculus with a supplementary logical connective,” in: Studies on Nonclassical Logics and Formal Systems [in Russian], Nauka, Moscow, 1983, pp. 154–174.

3. Smetanich Ya. S., “On propositional calculi with a supplementary operation,” Dokl. Akad. Nauk SSSR, 139, No. 2, 309–312 (1959).

4. Smetanich Ya. S., “On completeness of propositional calculus with a supplementary unary operation,” Trudy Moskov. Mat. Obshch., 9, 357–371 (1960).

5. Dummett M., “A propositional calculus with denumerable matrix,” J. Symbolic Logic, 24, No. 1, 97–106 (1959).

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

1. Irreflexive Modality on a Chain of Type ω and P. S. Novikov Completeness;Algebra and Logic;2021-01

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

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