Modus ponens and modus tollens in discrete implications

DOI10.1016/J.IJAR.2008.04.002zbMATH Open1194.03023OpenAlexW2000022321MaRDI QIDQ962647FDOQ962647

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

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

zbMATH Keywords

modus ponensfuzzy logicfuzzy implicationmodus tollensfinite scalediscrete implicationsmooth t-norms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Triangular norms
• Two types of implications derived from uninorms
• Title not available (Why is that?)
• Residual implications and co-implications from idempotent uninorms.
• Triangular norms on product lattices
• Contrapositive symmetry of fuzzy implications
• New family of triangular norms via contrapositive symmetrization of residuated implications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a family of t-norms
• On two types of discrete implications
• \(S\)-implications and \(R\)-implications on a finite chain.

Cited In (15)

• Investigations of \(T\)-power based implications satisfying some functional equations related to reasoning schemes
• Bennett on Modus Ponens
• 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
• On two types of discrete implications
• Distributive equations of implications based on nilpotent triangular norms
• 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)