×

zbMATH — the first resource for mathematics

An undecidable superintuitionistic propositional calculus. (English. Russian original) Zbl 0417.03010
Sov. Math., Dokl. 19, 656-660 (1978); translation from Dokl. Akad. Nauk SSSR 240, 549-552 (1978).

MSC:
03B55 Intermediate logics
03D03 Thue and Post systems, etc.
03D35 Undecidability and degrees of sets of sentences
PDF BibTeX XML Cite