Open Access Open Access  Restricted Access Subscription or Fee Access

A Reduct Part of Relation Algebra and the Lattice of Deductive Systems

Bahareh Ebrahimi, Esfandiar Eslami, Lida Torkzadeh

Abstract



In this paper we concider a reduct part of relation algebras as residuated Lattice and investigate the residual operations through some theorems. We then define different types of deductive systems and give their properties together with some relations among them. We define the prime deductive system on a relation algebra and specify the differences between the definitions of deductive systems and prime deductive systems on lattice and relation algebra. Also the set Ds(A) is defined and investigated if it is a relation algebra.

Full Text: PDF


Regarding indexing issue:

We have provided the online access of all issues & papers to the all  indexing agencies (as given on our journal home web site). It’s depend on indexing agencies when, how and what manner they can index or not. So, please neither sends any question nor expects any answer from us on the behalf of third party i.e. indexing agencies. Our role is just to provide the online access to them. So we do properly this and one can visit indexing agencies website to get the authentic information.