scientific article

zbMath1342.06005MaRDI QIDQ2813431

A. Klimiashvili

Publication date: 24 June 2016

Full work available at URL: http://science.org.ge/old/moambe/8-3/Klimiashvili.pdf

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting algebrascategoriesmodal logicstopoilogos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (1)

Monadic \(k\times j\)-rough Heyting algebras

This page was built for publication: