Results 1 to 10 of about 50 (48)
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning, 2010 Peer ...
García-Cerdaña, Àngel +2 more
openaire +3 more sources
Fuzzy logics as the logics of chains
Fuzzy Sets and Systems, 2006 The paper proposes a formal delimitation of the class of 'fuzzy logics' and answers some objections that can be raised against the definition; the focus is put on informal and motivational aspects of the problem.
Běhounek, L. (Libor) +1 more
openaire +3 more sources
Journal of Logic and Computation, 2003 In this paper we investigate the falsehood-free fragments of main residuated fuzzy logics related to continuous t-norms (HaÌ?jek's Basic fuzzy logic BL and some well-known axiomatic extensions), and we relate them to the varieties of 0-free subreducts of the corresponding algebras. These turn out to be classes of algebraic structures known as hoops. We
MONTAGNA F. +3 more
openaire +5 more sources
Journal of Symbolic Logic, 2007 AbstractSubstructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Uninorm logicULas Multiplicative additive intuitionistic linear logicMAILLextended with the prelinearity axiom((A → B) ∧ t) V ((B → A)∧ t).
Metcalfe G., Montagna F.
openaire +5 more sources
, 2020 This paper proposes a detailed switching model for the medium voltage cascaded H bridge multi level inverter drive and induction motor system using fuzzy logic controller which is suitable for power system dynamic studies. The model includes the We describe in this book recent advances in the fuzzy logic based augmentation of neural networks and in ...
M. Bhuvaneswari +2 more
openaire +2 more sources
International Journal of Approximate Reasoning, 1987 AbstractIntermediate truth values and the order relation “as true as” are interpreted. The material implication A → B quantifies the degree by which “B is at least as true as A.” Axioms for the → operator lead to a representation of → by the pseudo-Lukasiewicz model. A canonical scale for the truth value of a fuzzy proposition is selected such that the
Smets, Philippe, Magrez, Paul
openaire +2 more sources
Bulletin of Symbolic Logic, 2008 AbstractThe last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics.The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them.
openaire +3 more sources
Propositional Logic as a Propositional Fuzzy Logic
Electronic Notes in Theoretical Computer Science, 2006 AbstractThere are several ways to extend the classical logical connectives for fuzzy truth degrees, in such a way that their behavior for the values 0 and 1 work exactly as in the classical one. For each extension of logical connectives the formulas which are always true (the tautologies) changes.
Anderson Paiva Cruz, Benjamin Bedregal
openaire +2 more sources
International Journal of Approximate Reasoning, 2015 We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic entailment and provability in graded setting which allows to draw partially true conclusions from ...
openaire +3 more sources