Modus ponens and modus tollens in discrete implications

DOI10.1016/j.ijar.2008.04.002zbMath1194.03023OpenAlexW2000022321MaRDI 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 logicfuzzy implicationmodus ponensmodus tollensfinite scalediscrete implicationsmooth t-norms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items

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

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