Sur les systèmes déductifs dans la logique -valente
Sur quelques théorèmes fondamentaux de l'algèbre moderne
Symmetric implicational restriction method of fuzzy inference
The symmetric implicational method is revealed from a different perspective based upon the restriction theory, which results in a novel fuzzy inference scheme called the symmetric implicational restriction method. Initially, the SIR-principles are put forward, which constitute optimized versions of the triple I restriction inference mechanism. Next, the existential requirements of basic solutions are given. The supremum (or infimum) of its basic solutions is achieved from some properties of fuzzy...
Syntaktické metody matematické logiky
Synthetic compontents of infinite classes of postulates.