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...
Main Author: | |
---|---|
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 |