scientific article; zbMATH DE number 4059361

MaRDI QIDQ3794153zbMATH OpenFDO

Authors S. I. Mardaev

Publication date 1987

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

zbMATH Keywords

finitely pre-approximable logicsHeyting algebraintermediate logiclocally pre-tabular logics

Mathematics Subject Classification ID

Intermediate logics (03B55) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• The embedding theorem: its further developments and consequences. I
• scientific article; zbMATH DE number 3861126
• Publication:4489075
• Finite axiomatizability of locally tabular superintuitionistic logics
• On superintuitionistic logics as fragments of proof logic extensions

Cited in

(5)

• Two sequences of locally tabular superintuitionistic logics
• Computational complexity of the word problem in modal and Heyting algebras with a small number of generators
• scientific article; zbMATH DE number 6350981 (Why is no real title available?)
• Yankov Characteristic Formulas (An Algebraic Account)
• On finitely-generated Johansson algebras

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