×

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

Citations:

Zbl 0464.03001
PDFBibTeX XMLCite