Publication:3936721
From MaRDI portal
zbMath0479.03015MaRDI QIDQ3936721
Publication date: 1980
Kripke models; intuitionistic logic; infinite disjunction; proper class of equivalence-classes of formulae; proper class of mutually nonequivalent formulas; propositional logic for two variables
Related Items
The pleasures of anticipation: Enriching intuitionistic logic, A(nother) characterization of intuitionistic propositional logic, 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