scientific article; zbMATH DE number 3556024

zbMATH Open0357.02022MaRDI QIDQ4128534FDOQ4128534

Authors: A. V. Kuznetsov 

Publication date: 1975

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (7)

• Intuitionistic logic and implicit definability
• 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
• Comparison of the topological and relational semantics of superintuitionistic logics
• Superintuitionistic logics approximated by algebras with the descending chain condition
• A result on the completeness 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)