×

zbMATH — the first resource for mathematics

On the complexity of the disjunction property in intuitionistic and modal logics. (English) Zbl 1367.03019

MSC:
03B20 Subsystems of classical logic (including intuitionistic logic)
03B45 Modal logic (including the logic of norms)
03F05 Cut-elimination and normal-form theorems
03F20 Complexity of proofs
PDF BibTeX XML Cite
Full Text: DOI