On skew Heyting algebras
DOI:
https://doi.org/10.26493/1855-3974.757.7ecKeywords:
Skew lattices, Heyting algebras, non-commutative algebra, intuitionistic logicAbstract
In the present paper we generalize the notion of a Heyting algebra to the non-commutative setting and hence introduce what we believe to be the proper notion of the implication in skew lattices. We list several examples of skew Heyting algebras, including Heyting algebras, dual skew Boolean algebras, conormal skew chains and algebras of partial maps with poset domains.Downloads
Additional Files
Published
2016-04-21
Issue
Section
Articles
License
Articles in this journal are published under Creative Commons Attribution 4.0 International License
https://creativecommons.org/licenses/by/4.0/