@InProceedings{Navara:W04, IS = { zkontrolovano 13 Jan 2005 }, UPDATE = { 2004-11-27 }, author = {Navara, Mirko}, title = {When a residuum can be computed from a t-norm and a negation}, year = {2004}, pages = {12--14}, booktitle = {Proceedings of the 3rd International Workshop on Nonstandard Logics}, e_booktitle = {Proceedings of the 3rd International Workshop on Nonstandard Logics}, editor = {M.~Navara}, publisher = {Czech Technical University}, address = {Prague, Czech Republic}, isbn = {80-01-03003-2}, book_pages = {34}, month = {May}, day = {28}, venue = {Praha, Czech Republic}, organization ={Czech Technical University}, annote = {In the classical logic, the implication can be expressed by the conjunction and the negation, because these connectives form a sufficient set of logical operations, i.e., they allow to express all logical operations. We analyze the question to which extent an analogy holds in fuzzy logics.}, keywords = {MV-algebra, fuzzy logic, {\L}ukasiewicz logic, G{\"o}del logic, fuzzy implication, residuum}, prestige = {local}, importance = {0}, project = {MSM 212300013}, }