Modus ponens and modus tollens in discrete implications

DOI10.1016/j.ijar.2008.04.002zbMath1194.03023MaRDI QIDQ962647

B. E. Eshmatov

Publication date: 7 April 2010

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2008.04.002

zbMATH Keywords

fuzzy logic; fuzzy implication; modus ponens; modus tollens; finite scale; discrete implication; smooth t-norms

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

Related Items

Compound Objects Comparators in Application to Similarity Detection and Object Recognition, On a Generalization of the Modus Ponens: U-conditionality, RU and \((U,N)\)-implications satisfying modus ponens, On distributivity equations of implications and contrapositive symmetry equations of implications, Permutation-based finite implicative fuzzy associative memories, Distributive equations of implications based on nilpotent triangular norms, Finite-valued indistinguishability operators, New results of fuzzy implications satisfying \(i(x,i(y,z))=i(I(x,y),i(x,z))\), Uninorm based residual implications satisfying the modus ponens property with respect to a uninorm, Interval-valued implications and interval-valued strong equality index with admissible orders

Cites Work

• On a family of t-norms
• Triangular norms on product lattices
• Triangular norms
• Contrapositive symmetry of fuzzy implications
• New family of triangular norms via contrapositive symmetrization of residuated implications
• Two types of implications derived from uninorms
• On two types of discrete implications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item