0411462 20240103182329.420060210235959.9 21 s. cav_un_epca*02561860933-58461444 (2005)829-849Springer many-valued logic sufficient t-norm involution negation admisible function t-norm based tribe cav_un_auth*0213273 Butnariu D. IL cav_un_auth*0208902 Klement E.P. AT cav_un_auth*0101163 Mesiar Radko UTIA-B Department of Econometrics Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0019127 Navara M. CZ 12A GA402/04/1026 GA ČR cav_un_auth*0001809 CEZ:AV0Z10750506 In many-valued logics with the unit interval as the set of truth values, from the standard negation and the product all measurable logical functions can be derived, provided that also operations with countable arity are allowed. The question remained open whether there are other t-norms with this property or whether all strict t-norms possess this property. We give a full solution to this problem (in the case of strict t-norms) together with convenient sufficient conditions. V mnohahodnotových logikách s jednotkovým intervalem pravdivých hodnot je možné odvodit všechny měřitelné logické funkce ze standardní negace a logického součinu, pokud jsou přípustné také operace se spočetnou aritou. Otevřeným problémem zůstává existence dalších t-norem se stejnou vlastností, případně, zda ji splňují všechny striktní t-normy. Řešní tohoto problému je v práci formulováno. BA 2006 E http://hdl.handle.net/11104/0131543 UTIA-B 20050192 2005 cav_un_epca*0256186 Archive for Mathematical Logic 0933-5846 1432-0665 Roč. 14 č. 44 2005 829 849 Springer