Geodesic
On skew Heyting algebras
Ars Mathematica Contemporanea, Tome 12 (2017) no. 1, pp. 37-50.

Voir la notice de l'article provenant de la source Ars Mathematica Contemporanea website

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.
DOI : 10.26493/1855-3974.757.7ec
Keywords: Skew lattices, Heyting algebras, non-commutative algebra, intuitionistic logic 
@article{10_26493_1855_3974_757_7ec,
     author = {Karin Cvetko-Vah},
     title = {On skew {Heyting} algebras},
     journal = {Ars Mathematica Contemporanea},
     pages = {37--50},
     publisher = {mathdoc},
     volume = {12},
     number = {1},
     year = {2017},
     doi = {10.26493/1855-3974.757.7ec},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.757.7ec/}
}
TY  - JOUR
AU  - Karin Cvetko-Vah
TI  - On skew Heyting algebras
JO  - Ars Mathematica Contemporanea
PY  - 2017
SP  - 37
EP  - 50
VL  - 12
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.757.7ec/
DO  - 10.26493/1855-3974.757.7ec
LA  - en
ID  - 10_26493_1855_3974_757_7ec
ER  - 
%0 Journal Article
%A Karin Cvetko-Vah
%T On skew Heyting algebras
%J Ars Mathematica Contemporanea
%D 2017
%P 37-50
%V 12
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.757.7ec/
%R 10.26493/1855-3974.757.7ec
%G en
%F 10_26493_1855_3974_757_7ec
Karin Cvetko-Vah. On skew Heyting algebras. Ars Mathematica Contemporanea, Tome 12 (2017) no. 1, pp. 37-50. doi : 10.26493/1855-3974.757.7ec. http://geodesic.mathdoc.fr/articles/10.26493/1855-3974.757.7ec/

Cité par Sources :