×

zbMATH — the first resource for mathematics

Undecidable propositional calculi. (Russian) Zbl 0499.03003

MSC:
03B25 Decidability of theories and sets of sentences
03B45 Modal logic (including the logic of norms)
03B55 Intermediate logics
PDF BibTeX XML Cite