scientific article; zbMATH DE number 2024625

MaRDI QIDQ4443201zbMATH OpenFDO

Authors Eugeniusz Tomaszewski

Publication date 2002

zbMATH Keywords

algorithmvarieties of Heyting algebrasfinite axiomatizationsYankov formulas

Mathematics Subject Classification ID

Intermediate logics (03B55) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Jankov's theorems for intermediate logics in the setting of universal models
• Remark on a finite axiomatization of finite intermediate propositional logics
• scientific article; zbMATH DE number 3957059
• scientific article; zbMATH DE number 937394
• On finite linear intermediate predicate logics
• scientific article; zbMATH DE number 4120150
• Finite and finitely separable intermediate propositional logics
• On the search for a finitizable algebraization of first order logic
• Jauch-Piron logics with finiteness conditions

Cited in

(7)

• Yankov Characteristic Formulas (An Algebraic Account)
• scientific article; zbMATH DE number 5205481 (Why is no real title available?)
• Characteristic formulas over intermediate logics
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Jankov-style formulas and refutation systems
• Characteristic formulas of partial Heyting algebras
• Remark on a finite axiomatization of finite intermediate propositional 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 Q4443201)