Results 11  20
of
77
Interval Valued RImplications and Automorphisms
, 2007
"... Interval fuzzy logic is firmly integrated with principles of fuzzy logic theory and interval mathematics. The former provides a complete and inclusive mathematical model of uncertainty from which the foundations of fuzzy control have widened the scope of control theory. The latter models the uncerta ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Interval fuzzy logic is firmly integrated with principles of fuzzy logic theory and interval mathematics. The former provides a complete and inclusive mathematical model of uncertainty from which the foundations of fuzzy control have widened the scope of control theory. The latter models the uncertainty and the errors in numerical computation, leading to selfvalidated methods. Both areas were independently developed in the mid 1960s improving the quantitative analysis of approximations to mathematically exact values, which may not be observable, representable or computable. Interval fuzzy connectives have been described in the terms of the combination of those theories. In this work, the best interval representation is considered for the study of Rimplication in fuzzy logic. Based on the best interval representation, an interval fuzzy Rimplication is obtained as a canonical extension satisfying the optimality property and preserving the same properties satisfied by the fuzzy Rimplication. In addition, commutative diagrams relate fuzzy Rimplications to interval fuzzy Rimplications. This leads to the understanding of how interval automorphisms act on interval Rimplications and generate other interval fuzzy Rimplications.
Mathematical fuzzy control. A survey of some recent results (submitted
"... The core point of fuzzy control approaches are finite lists of linguistic control rules. For computerbased automatic control these lists have to be transformed into control algorithms which can be realized on a computer. The main general idea of this fuzzy control approach is that such an algorithm ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
(Show Context)
The core point of fuzzy control approaches are finite lists of linguistic control rules. For computerbased automatic control these lists have to be transformed into control algorithms which can be realized on a computer. The main general idea of this fuzzy control approach is that such an algorithm should yield a fuzzy subset of the output space of the control problem if confronted with a fuzzy subset of the input space. This paper surveys mathematical problems which are connected with, and arose out of these basic ideas. The main formal tools used in these mathematical considerations are fuzzy sets and fuzzy relations together with some generalized, viz. manyvalued logic which underlies these considerations. And the essential way of understanding the mathematical context of fuzzy control is to look at it as an interpolation problem: one has to determine a fuzzy control function out of a finite list of interpolation nodes.
Maximal and premaximal paraconsistency in the framework of threevalued semantics
 STUDIA LOGICA,
, 2011
"... Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the c ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or nondeterministic threevalued matrices. We show that all reasonable paraconsistent logics based on threevalued deterministic matrices are maximal in our strong sense. This applies to practically all threevalued paraconsistent logics that have been considered in the literature, including a large family of logics which were developed by da Costa’s school. Then we show that in contrast, paraconsistent logics based on threevalued properly nondeterministic matrices are not maximal, except for a few special cases (which are fully characterized). However, these nondeterministic matrices are useful for representing in a clear and concise way the vast variety of the (deterministic) threevalued maximally paraconsistent matrices. The corresponding weaker notion of maximality, called premaximal paraconsistency, captures the “core ” of maximal paraconsistency of all possible paraconsistent determinizations of a nondeterministic matrix, thus representing what is really essential for their maximal paraconsistency.
Maximally paraconsistent threevalued logics
 Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR’10
, 2010
"... Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper, we introduce the strongest possible notion of maximal paraconsistency, and investigate it in th ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper, we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or nondeterministic threevalued matrices. We first show that most of the logics that are based on properly nondeterministic threevalued matrices are not maximally paraconsistent. Then we show that in contrast, in the deterministic case all the natural threevalued paraconsistent logics are maximal. This includes wellknown threevalued paraconsistent logics like P1, LP, J3, PAC and SRM3, as well as any extension of them obtained by enriching their languages with extra threevalued connectives.
On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic
"... In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its tnorm based axiomatic extensions. We consider the algebraic counterpart of this logic, the variety of WNMalgebras (WNM) and we prove that it is locally finite, so all its subvarieties are gener ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
(Show Context)
In this paper we carry out an algebraic investigation of the Weak Nilpotent Minimum logic (WNM) and its tnorm based axiomatic extensions. We consider the algebraic counterpart of this logic, the variety of WNMalgebras (WNM) and we prove that it is locally finite, so all its subvarieties are generated by finite chains. We give criteria to compare varieties generated by finite families of WNMchains, in particular varieties generated by standard WNMchains, or equivalently tnorm based axiomatic extensions of WNM, and study their standard completeness properties. We also characterize the generic WNMchains, i.e. those that generate the variety WNM, and we give finite axiomatizations for some tnorm based extensions of WNM.
Nonmonotonic Inference Operators for Fuzzy Logic
 IN: PROC. 9TH INTERNAT. WORKSHOP ON NONMONOTONIC REASONING, NMR’2002
, 2002
"... Fuzzy logic in an abstract sense allows to draw (graded) conclusions from only partially "given" premises i.e. fuzzy sets of formulas. This means ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Fuzzy logic in an abstract sense allows to draw (graded) conclusions from only partially "given" premises i.e. fuzzy sets of formulas. This means
Beyond Two: Theory and applications of multiplevalued logic
"... Abstract Algebraic Logic is a general theory of the algebraization of deductive systems arising as an abstraction of the wellknown LindenbaumTarski process. The notions of logical matrix and of Leibniz congruence are among its main building blocks. Its most successful part has been developed mainl ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
Abstract Algebraic Logic is a general theory of the algebraization of deductive systems arising as an abstraction of the wellknown LindenbaumTarski process. The notions of logical matrix and of Leibniz congruence are among its main building blocks. Its most successful part has been developed mainly by BLOK, PIGOZZI and CZELAKOWSKI, and obtains a deep theory and very nice and powerful results for the socalled protoalgebraic logics. I will show how the idea (already explored by WÓJCKICI and NOWAK) ofdeÞning logics using a scheme of “preservation of degrees of truth ” (as opposed to the more usual one of “preservation of truth”) characterizes a wide class of logics which are not necessarily protoalgebraic and provide another fairly general framework where recent methods in Abstract Algebraic Logic (developed mainly by JANSANA and myself) can give some interesting results. After the general theory is explained, I apply it to an inÞnite family of logics deÞned in this way from subalgebras of the real unit interval taken as an MValgebra. The general theory determines the algebraic counterpart of each of these logics without having to perform any computations for each particular case, and proves some interesting properties common to all of them. Moreover, in the Þnite case the logics so obtained are protoalgebraic, which implies they have a “strong version ” deÞned from their Leibniz Þlters; again, the general theory helps in showing that it is the logic deÞned from the same subalgebra by the truthpreserving scheme, that is, the corresponding Þnitevalued logic in the most usual sense. However, for inÞnite subalgebras the obtained logic turns out to be the same for all such subalgebras and is not protoalgebraic, thus the ordinary methods do not apply. After introducing some (new) more general abstract notions for nonprotoalgebraic logics I can Þnally show that this logic too has a strong version, and that it coincides with the ordinary inÞnitevalued logic of Łukasiewicz. 1 1
Fuzzy logic as a methodology for the treatment of vagueness
 The Logica Yearbook 2004
, 2005
"... ..."
(Show Context)