×

zbMATH — the first resource for mathematics

Monadic operators defined by means of propositional quantification in intuitionistic logic. (English) Zbl 0464.03051

MSC:
03F50 Metamathematics of constructive systems
03B60 Other nonclassical logic
03B20 Subsystems of classical logic (including intuitionistic logic)
03B55 Intermediate logics
PDF BibTeX XML Cite