Modus ponens and modus tollens in discrete implications

• Autores: Margarita Mas Grimalt , Miquel Monserrat Antich, Joan Torrens Sastre
• Localización: International journal of approximate reasoning, ISSN 0888-613X, Vol. 49, Nº 2, 2008, págs. 422-435
• Idioma: inglés
• DOI: 10.1016/j.ijar.2008.04.002
• Texto completo no disponible (Saber más ...)
• Resumen

  • This paper is devoted to the study of discrete implications that satisfy modus ponens (MP), modus tollens (MT) or both (MPT). The main goal is to characterize all R, S, QL and D-implications on a finite chain L, derived from smooth t-norms, satisfying these properties for a given smooth t-norm T1. The case when T1 is non-smooth is also discussed for a special family of t-norms.