Results 1 to 10 of about 16,114 (210)
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 +2 more sources
Generic Modal Cut Elimination Applied to Conditional Logics [PDF]
Logical Methods in Computer Science, 2011 We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide
Dirk Pattinson, Lutz Schröder
doaj +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
Revisiting McGee’s Counterexample to Modus Ponens
European Journal of Analytic PhilosophyIn this paper, we provide a novel explanation of McGee’s (1985) alleged counterexample to Modus Ponens for indicative conditionals. Our strategy is to show that pragmatic phenomena interfere with intuitions concerning the acceptability of the inference ...
Nicolás Lo Guercio, Mariela Rubin
doaj +3 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
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
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
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
The deduction theorem for strong propositional proof systems [PDF]
, 2007 This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the ...
C. Glaßer +15 more
core +6 more sources