Finite approximability of the I? calculus and the existence of an extension having no model

A. Yu. Muravitskii

doi:10.1007/bf01163282

journal article Jun 01, 1981

Finite approximability of the I? calculus and the existence of an extension having no model

A. Yu. Muravitskii

Mathematical Notes Vol. 29 No. 6 pp. 463-468 · Springer Science and Business Media LLC

View at Publisher Save 10.1007/bf01163282

Topics

No keywords indexed for this article. Browse by subject →

References

6

[1]

A. V. Bessonov, ?On new operations in an intuitionistic calculus,? Mat. Zametki,22, No. 1, 23?28 (1977).

[2]

A. V. Kuznetsov, ?Provably-intuitionistic logic. Modal and intentional logics,? in: Proc. Coordinated Conf., Moscow, June 5?7, 1978, Institute of Philosophy, Academy of Sciences of the USSR (1978), pp. 75?79.

[3]

L. L. Maksimova, ?Pretabular superintuitionistic logics,? Algebra Logika,11, No. 5, 558?570 (1972). 10.1007/bf02330744

[4]

E. Raseva and R. Sikorskii, The Mathematics of Metamathematics [in Russian], Nauka, Moscow (1972).

[5]

S. K. Sobolev, ?On finite-dimensional superintuitionistic logics,? Izv. Akad. Nauk SSSR, Ser. Mat.,41, No. 5, 963?986 (1977).

[6]

V. B. Shekhtman, ?On incomplete propositional logics,? Dokl. Akad. Nauk SSSR,235, No. 3, 542?545 (1977).

Metrics

4

Citations

6

References

Details

Published: Jun 01, 1981
Vol/Issue: 29(6)
Pages: 463-468
License: View

Authors

A

A. Yu. Muravitskii

Cite This Article

A. Yu. Muravitskii (1981). Finite approximability of the I? calculus and the existence of an extension having no model. Mathematical Notes, 29(6), 463-468. https://doi.org/10.1007/bf01163282

Finite approximability of the I? calculus and the existence of an extension having no model

You May Also Like