scientific article; zbMATH DE number 3752826

MaRDI QIDQ3936721zbMATH OpenFDO

Authors Dick H. J. de Jongh

Publication date 1980

zbMATH Keywords

infinite disjunctionintuitionistic logicKripke modelsproper 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)

Cited in

(9)

• On a second order propositional operator in intuitionistic logic
• Computations in fragments of intuitionistic propositional logic
• Classifying toposes for first-order theories
• Infinitary first-order categorical logic
• The pleasures of anticipation: Enriching intuitionistic logic
• A(nother) characterization of intuitionistic propositional logic
• Notes on my scientific life
• The category of topological spaces and open maps does not have products
• On the lack of colimits in various categories arising in pointfree topology and algebraic logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3936721)