scientific article
From MaRDI portal
Publication:3837730
zbMath0857.03041MaRDI QIDQ3837730
Albert Visser, Dick H. J. de Jongh
Publication date: 11 March 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebrasembeddingsHeyting arithmeticintuitionistic propositional calculusderived rulespropositional theories
Related Items
Lewis meets Brouwer: constructive strict implication ⋮ Extendible formulas in two variables in intuitionistic logic ⋮ Rules and arithmetics ⋮ On Bellissima's construction of the finitely generated free Heyting algebras, and beyond ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Constructing illoyal algebra-valued models of set theory ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Constructive Modalities with Provability Smack ⋮ EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS