×

zbMATH — the first resource for mathematics

The decidability of certain intermediate propositional logics. (English) Zbl 0175.27103

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] this Journal 30 pp 271– (1965)
[2] DOI: 10.1017/S0305004100033120 · doi:10.1017/S0305004100033120
[3] this Journal 24 pp 97– (1959)
[4] Collection de logique mathématique (1966)
[5] Indagationes mathematicae 27 pp 141– (1965)
[6] this Journal 27 pp 391– (1962)
[7] this Journal 25 pp 327– (1960)
[8] Indagationes mathematicae 70 pp 363– (1967) · doi:10.1016/S1385-7258(67)50050-1
[9] DOI: 10.1007/BF01988049 · Zbl 0079.00702 · doi:10.1007/BF01988049
[10] Doklady Akademii Nauk SSSR 151 pp 796– (1963)
[11] this Journal 13 pp 1– (1948)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.