pseudocomplemented
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Adjective[edit]
pseudocomplemented (not comparable)
- Having a pseudocomplement
- 2015, Hanamantagouda P. Sankappanavar, “JI-distributive dually quasi-De Morgan linear semi-Heyting algebras”, in arXiv[1]:
- The main purpose of this paper is to axiomatize the join of the variety DPCSHC of dually pseudocomplemented semi-Heyting algebras generated by chains and the variety generated by D2, the De Morgan expansion of the four element Boolean Heyting algebra.