Results 1 to 10 of about 16,210 (208)
On the quantum circuit implementation of modus ponens [PDF]
Scientific ReportsThe process of inference reflects the structure of propositions with assigned truth values, either true or false. Modus ponens is a fundamental form of inference that involves affirming the antecedent to affirm the consequent.
Songsong Dai
doaj +4 more sources
Modus Ponens Tollens for RU-Implications [PDF]
Communications in Computer and Information Science, 2020 In fuzzy rules based systems, fuzzy implication functions are usually considered to model fuzzy conditionals and to perform forward and backward inferences. These processes are guaranteed by the fulfilment of the Modus Ponens and Modus Tollens properties by the fuzzy implication function with respect to the considered conjunction and fuzzy negation. In
Isabel Aguilo +2 more
exaly +4 more sources
Modus ponens and modus tollens in discrete implications
International Journal of Approximate Reasoning, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Margarita Mas, Joan Torrens
exaly +3 more sources
Two Sides of Modus Ponens [PDF]
The Journal of Philosophy, 2018 McGee (1985) argues that it is sometimes reasonable to accept both x and x->(y->z) without accepting y->z, and that modus ponens is therefore invalid for natural language indicative conditionals.
Hartmann, Stephan, Stern, Reuben
core +2 more sources
Research on intuitionistic fuzzy implications. Part 3 [PDF]
Notes on IFS, 2023 Continuing the research from [1,2], here we give the lists of the intuitionistic fuzzy implications, introduced in [2], that satisfy at least one of two forms of Modus Ponens (MP) – a standard and a new one, called "mixed", forms.
Nora Angelova +2 more
doaj +1 more source
Fuzzy Inference Full Implication Method Based on Single Valued Neutrosophic t-Representable t-Norm
Proceedings, 2022 As a generalization of intuitionistic fuzzy sets, single-valued neutrosophic sets have certain advantages for solving indeterminate and inconsistent information. In this paper, we study the fuzzy inference full implication method based on a single-valued
Minxia Luo, Donghui Xu, Lixian Wu
doaj +1 more source
Generalized Modus Tollens with Linguistic Modifiers for Inverse Approximate Reasoning [PDF]
International Journal of Computational Intelligence Systems, 2014 Based on our previous researchs about generalized modus ponens (GMP) with linguistic modifiers for If … Then rules, this paper proposes new generalized modus tollens (GMT) inference rules with linguistic modifiers in linguistic many–valued ...
Le Anh Phuong, Tran Dinh Khang
doaj +1 more source
What the Adoption Problem Does Not Show
Análisis Filosófico, 2022 Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted ...
Camillo Giuliano Fiore
doaj +1 more source
On the Use of Conjunctors With a Neutral Element in the Modus Ponens Inequality
International Journal of Computational Intelligence Systems, 2020 The inference rule of Modus Ponens has been extensively investigated in the framework of approximate reasoning, especially for the case of t-norms. Recently, more general kinds of conjunctors have also been considered, like semi-copulas, copulas, and ...
Ana Pradera +3 more
doaj +1 more source
El problema de la adopción de reglas lógicas
Análisis Filosófico, 2022 ¿Seguimos reglas de inferencia al razonar? Por más intuitiva que resulte la respuesta positiva a esta pregunta, hay una serie de dificultades para vincular reglas lógicas y prácticas inferenciales.
Romina Padró, Eduardo A. Barrio
doaj +1 more source