2018International Journal of Computing Science and Applied MathematicsOpen access

Skew Semi-Heyting Algebras

Berhanu Assaye Alaba, Mihret Alamneh, Yeshiwas Mebrat Gubena

Open full text 1 citations

Abstract

In this paper, we introduce the concept of skew semi-Heyting algebra and extend the notions of semi-Heyting algebras. We characterize a skew semi-Heyting algebra as a skew Heyting algebra interms of a unique binary operation on which an induced binary operation is defined, and some algebraic properties on it.

Open-access reader

About this research paper

What this paper is about

In this paper, we introduce the concept of skew semi-Heyting algebra and extend the notions of semi-Heyting algebras. We characterize a skew semi-Heyting algebra as a skew Heyting algebra interms of a unique binary operation on which an induced binary operation is defined, and some algebraic properties on it.

Why it matters

OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

In this paper, we introduce the concept of skew semi-Heyting algebra and extend the notions of semi-Heyting algebras. We characterize a skew semi-Heyting algebra as a skew Heyting algebra interms of a unique binary operation on which an induced binary operation is defined, and some algebraic properties on it.

Key concepts: Heyting algebra, Skew, Mathematics, Algebra over a field, Pure mathematics, Intuitionistic logic, Binary number, Computer science

Related papers

Back to paper searchBrowse research topicsOriginal source
Skew Semi-Heyting Algebras — Research Paper | ScholarLens