Forbidden configurations and subframe varieties

DOI10.1007/s00012-016-0402-3zbMath1412.06012OpenAlexW2507404902MaRDI QIDQ331025

Guram Bezhanishvili

Publication date: 26 October 2016

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-016-0402-3

zbMATH Keywords

treePriestley spaceHeyting algebraJankov formulasubframe logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Equational logic, Mal'tsev conditions (08B05) Stone spaces (Boolean spaces) and related structures (06E15) Intermediate logics (03B55)

Cites Work

• Finite retracts of Priestley spaces and sectional coproductivity
• Syntax and semantics of superintuitionistic logics
• An algebraic approach to subframe logics. Intuitionistic case
• Tame parts of free summands in coproducts of Priestley spaces
• More on configurations in Priestley spaces, and some new problems
• Configurations in coproducts of Priestley spaces
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Logics containing K4. Part II
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Forbidden configurations and subframe varieties