scientific article

zbMath0479.03015MaRDI QIDQ3936721

Dick H. J. de Jongh

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke modelsintuitionistic logicinfinite disjunctionproper class of equivalence-classes of formulaeproper class of mutually nonequivalent formulaspropositional logic for two variables

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Related Items

Infinitary first-order categorical logic, Classifying toposes for first-order theories, On a second order propositional operator in intuitionistic logic, Computations in fragments of intuitionistic propositional logic, The pleasures of anticipation: Enriching intuitionistic logic, A(nother) characterization of intuitionistic propositional logic