On finitely-generated Johansson algebras

DOI10.1007/s11083-022-09616-4OpenAlexW4306694256MaRDI QIDQ6116351

Alex Citkin

Publication date: 18 July 2023

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-022-09616-4

zbMATH Keywords

Heyting algebrafinitely approximable algebrafinitely-generated algebraJohansson algebra

Mathematics Subject Classification ID

Order, lattices, ordered algebraic structures (06-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Finite axiomatizability of locally tabular superintuitionistic logics
• Locally finite varieties of Heyting algebras
• Constructive negations and paraconsistency

This page was built for publication: On finitely-generated Johansson algebras