Compatible Deductive Systems of Pulexes

The notion of (compatible) deductive system of a pulex is defined and some properties of deductive systems are investigated. We also define a congruence relation on a pulex and show that there is a bijective correspondence between the compatible deductive systems and the congruence relations. We def...

Full description

Bibliographic Details
Main Author: Shokoofeh Ghorbani
Format: Article
Language:English
Published: Hindawi Limited 2014-01-01
Series:International Journal of Mathematics and Mathematical Sciences
Online Access:http://dx.doi.org/10.1155/2014/606890
id doaj-3e81135bd62046b58674f71fc278ea32
record_format Article
spelling doaj-3e81135bd62046b58674f71fc278ea322020-11-25T00:12:30ZengHindawi LimitedInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252014-01-01201410.1155/2014/606890606890Compatible Deductive Systems of PulexesShokoofeh Ghorbani0Department of Mathematics, Shahid Bahonar University of Kerman, Kerman, IranThe notion of (compatible) deductive system of a pulex is defined and some properties of deductive systems are investigated. We also define a congruence relation on a pulex and show that there is a bijective correspondence between the compatible deductive systems and the congruence relations. We define the quotient algebra induced by a compatible deductive system and study its properties.http://dx.doi.org/10.1155/2014/606890
collection DOAJ
language English
format Article
sources DOAJ
author Shokoofeh Ghorbani
spellingShingle Shokoofeh Ghorbani
Compatible Deductive Systems of Pulexes
International Journal of Mathematics and Mathematical Sciences
author_facet Shokoofeh Ghorbani
author_sort Shokoofeh Ghorbani
title Compatible Deductive Systems of Pulexes
title_short Compatible Deductive Systems of Pulexes
title_full Compatible Deductive Systems of Pulexes
title_fullStr Compatible Deductive Systems of Pulexes
title_full_unstemmed Compatible Deductive Systems of Pulexes
title_sort compatible deductive systems of pulexes
publisher Hindawi Limited
series International Journal of Mathematics and Mathematical Sciences
issn 0161-1712
1687-0425
publishDate 2014-01-01
description The notion of (compatible) deductive system of a pulex is defined and some properties of deductive systems are investigated. We also define a congruence relation on a pulex and show that there is a bijective correspondence between the compatible deductive systems and the congruence relations. We define the quotient algebra induced by a compatible deductive system and study its properties.
url http://dx.doi.org/10.1155/2014/606890
work_keys_str_mv AT shokoofehghorbani compatibledeductivesystemsofpulexes
_version_ 1725399336997617664