Construction of a monadic Heyting algebra in a logos

DOI10.1007/S10958-016-3065-XzbMath1403.06011OpenAlexW2524979819MaRDI QIDQ2373968

A. Klimiashvili

Publication date: 14 December 2016

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-016-3065-x

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Amalgamation and interpolation in the category of Heyting algebras
• On some intuitionistic modal logics
• Adjointness in Foundations
• Aspects of topoi

This page was built for publication: Construction of a monadic Heyting algebra in a logos