Modus ponens and modus tollens in discrete implications

DOI10.1016/J.IJAR.2008.04.002MaRDI QIDQ962647zbMATH OpenOpenAlexFDO

Authors 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

modus ponensfuzzy logicfuzzy implicationmodus tollensfinite scalediscrete implicationsmooth t-norms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• scientific article; zbMATH DE number 2177637
• RU and (U,N)-implications satisfying modus ponens
• The law of importation for discrete implications
• Modus ponens property of \(T\)-power based implications
• Modus tollens with respect to uninorms: \(U\)-modus tollens

Cites work

• scientific article; zbMATH DE number 2177637 (Why is no real title available?)
• scientific article; zbMATH DE number 700081 (Why is no real title available?)
• scientific article; zbMATH DE number 1383825 (Why is no real title available?)
• scientific article; zbMATH DE number 2209488 (Why is no real title available?)
• Contrapositive symmetry of fuzzy implications
• New family of triangular norms via contrapositive symmetrization of residuated implications
• On a family of t-norms
• On two types of discrete implications
• Residual implications and co-implications from idempotent uninorms.
• Triangular norms
• Triangular norms on product lattices
• Two types of implications derived from uninorms
• \(S\)-implications and \(R\)-implications on a finite chain.

Cited in

(15)

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

This page was built for publication: Modus ponens and modus tollens in discrete implications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q962647)