scientific article
From MaRDI portal
Publication:4026933
zbMath0767.03007MaRDI QIDQ4026933
Vladimir Vladimirovich Rybakov
Publication date: 21 February 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilityalgorithmic solvability of logical equations in \(H\)Heyting's intuitionistic propositional calculus \(H\)intuitionistic Kripke models
Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Decidability of theories and sets of sentences (03B25) Free algebras (08B20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: