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...