01609nab a2200229 i 4500 publ26041 20230110090721.0 230110s2014 hu o 0|| Angol d 0020-0255 10.1016/j.ins.2014.06.031 doi 2714470 mtmt SZTE Publicatio Repozitórium hun Angol Dombi József Implications in bounded systems [elektronikus dokumentum] / Dombi József 2014 229-240 INFORMATION SCIENCES 283 Abstract A consistent connective system generated by nilpotent operators is not necessarily isomorphic to Łukasiewicz-system. Using more than one generator function, consistent nilpotent connective systems (so-called bounded systems) can be obtained with the advantage of three naturally derived negations and thresholds. In this paper, implications in bounded systems are examined. Both R- and S-implications with respect to the three naturally derived negations of the bounded system are considered. It is shown that these implications never coincide in a bounded system, as the condition of coincidence is equivalent to the coincidence of the negations, which would lead to Łukasiewicz logic. The formulae and the basic properties of four different types of implications are given, two of which fulfill all the basic properties generally required for implications. Számítás- és információtudomány Csiszár Orsolya aut http://publicatio.bibl.u-szeged.hu/26041/1/2014_implicationsinbounded.pdf Dokumentum-elérés