Compatible Deductive Systems of Pulexes

الملخص EN

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.