Abstract The class of pseudo-M algebras contains pseudo-BCK, pseudo-BCI, pseudo-BCH, pseudo-BE, pseudo-CI and many other logic. In this paper, the notion deductive system in a algebra is introduced its elementary properties are investigated. Closed systems defined studied. homomorphic (closed) provided. concepts translation R-congruences It shown that there bijection between closed R-congruence...

We present Popper’s theory of deductive logic as exhibited in his articles published between 1947 and 1949. After an introduction to inferentialist approach idea “inferential definitions” logical constants, we discuss more formal detail general the deducibility relation (which, using Gentzen’s terminology, might be called “structural” theory), well special constants. put emphasis on inferential...

the concept of soft sets, introduced by molodtsov [20] is a mathematicaltool for dealing with uncertainties, that is free from the difficultiesthat have troubled the traditional theoretical approaches. in this paper, weapply the notion of the soft sets of molodtsov to the theory of hilbert algebras.the notion of soft hilbert (abysmal and deductive) algebras, soft subalgebras,soft abysms and sof...

A comparison of the central processing unit (CPU) time and storage requirements for the parallel and deductive fault simulation techniques is presented. Versions of a parallel and deductive simulator were implemented and the comparison performed on an IBM System/360 Model 67 by simulating representative circuits including shift registers, sequencers, counters, two memory units, and a processor....