Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Heyting Algebras with Operators

From MaRDI portal
Publication:2720324
Jump to:navigation, search

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200105)47:2<187::AID-MALQ187>3.0.CO;2-J" /><187::AID-MALQ187>3.0.CO;2-J 10.1002/1521-3870(200105)47:2<187::AID-MALQ187>3.0.CO;2-JzbMath0990.03053OpenAlexW2010038054MaRDI QIDQ2720324

Yasusi Hasimoto

Publication date: 25 July 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200105)47:2<187::aid-malq187>3.0.co;2-j


zbMATH Keywords

subdirectly irreducible Heyting algebrasHeyting algebras with unary operators


Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)


Related Items (4)

Expansions of dually pseudocomplemented Heyting algebras ⋮ On Heyting algebras with negative tense operators ⋮ The variety of modal weak Gödel algebras ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators







This page was built for publication: Heyting Algebras with Operators

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2720324&oldid=15574735"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 3 February 2024, at 13:30.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki