scientific article; zbMATH DE number 3556024

zbMath0357.02022MaRDI QIDQ4128534

A. V. Kuznetsov

Publication date: 1975

Full work available at URL: https://eudml.org/doc/189288

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

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Related Items (7)

Varieties of algebraic systems and propositional calculi ⋮ A decidable noncompact extension of the logic S4 ⋮ Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics ⋮ Intuitionistic logic and implicit definability ⋮ Comparison of the topological and relational semantics of superintuitionistic logics ⋮ A result on the completeness of superintuitionistic logics ⋮ Superintuitionistic logics approximated by algebras with the descending chain condition

This page was built for publication: