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 |
| Summary: | 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. |
|---|---|
| ISSN: | 0161-1712 1687-0425 |