If we know that an implication A ! B is to some extent true, and if we know that a statement A is true \to some extent", i.e., if we know that the statement m(A) is true, for some logical modiier m (\approximately", \slightly", etc.), then we can conclude that B is also true to some extent, i.e., that m 0 (B) is true for some logical modiier m 0. Thus, every fuzzy implication deenes a mapping f...

Pascual Juli an a Gin es Moreno b Jaime Penabad c aDepartment of Computer Science ESI, Univ. of Castilla{La Mancha Paseo de la Universidad, 4; 13071 Ciudad Real, Spain bDepartment of Computer Science cDepartment of Mathematics EPSA, Univ. of Castilla{La Mancha Campus Universitario, s/n; 02071 Albacete, Spain Abstract In the context of (fuzzy) logic programs, `unfolding' means to transform a pro...

We investigate an axiomatization of the notion of common bel ief (knowledge) that makes use of no rules of inference (apart from Modus Ponens and Necessitat ion) and highl ight the property of the set of accessibi l i ty relat ions that characterizes each axiom. Mathernatics Subject Classif icat ion: 03845, 68T25.

This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sententia...

This study presented participants with conditional statements with content that was group-related, container-related, and a combination of group and container. Participants received modus ponens, modus tollens, denying the antecedent, affirming the consequent, and inconsistent forms of conditional arguments. Results demonstrated a significant advantage of the group over the container wording fo...

This study presents evidence for the role of working memory (WM) capacity in the retrieval and inhibition of counterexamples (alternatives and disablers) during everyday conditional reasoning. A total of 292 university students were given a measure of WMcapacity and a reasoning task with everyday, causal conditionals. Results show that the acceptance ratings of the logically valid Modus Ponens ...

fuzzy logic, 67algebraic semantics, 53approximate reasoning, 6axiomatic extensions of MTL, 56 Bellman, R., 21bipolar possibilistic logic, 93BL logic, 51 canonical chain, 66canonical completeness, 66canonical extension, 83Carnap, R., 3comparative truth, 63compositionality, 29computational complexity, 73core fuzzy logic, 58 De Finetti B., 3degre...

The task-switch paradigm has helped psychologists gain insight into the processes involved in changing from one activity to another. The literature has yielded consistent results about switch cost reconfiguration (abrupt offset in regular task-switch vs. gradual reduction in random task-switch; endogenous and exogenous components of switch cost; cost asymmetry...). In this study we present seve...