scientific article; zbMATH DE number 3556024

MaRDI QIDQ4128534zbMATH OpenFDO

Authors A. V. Kuznetsov

Publication date 1975

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

Mathematics Subject Classification ID

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

Cited in

(7)

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

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 Q4128534)