Filters
Making Fuzzy Description Logic More General
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfability, validity and subsumption of concepts are discuss...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Fleas and Fuzzy Logic: A Survey.
An extremly weak generalization of the t-norm based fuzzy logic is presented.
BA - Obecná matematika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Residuated logics based on strict t-norms with an involutive negation
logics based on strict t-norms which are different from the product logic.In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict tria...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Computational Complexity of t-norm based Propositional Fuzzy Logics with Rational Truth Constants
If a continuous t-norm on [0,1] maps pairs of rationals into rationals then the corresponding fuzzy propositional calculus can be extended by rational truth constants and "bookkeeping" axioms for them. (Lukasiewicz t
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Triangular Norm Based Predicate Fuzzy Logics
The paper surveys the present state of knowledge on t-norm based predicate fuzzy logics with their double semantics, standard (the set of truth values being the real interval [0, 1]) and general with abstract algeb...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Deductive Systems of Fuzzy Logic
The paper presents fuzzy logic in the narrow sense, ie. as a deductive formal system which is a kind of many-valued logic. Continuous t-norms are used as possible truth functions of conjunction, their resi...
BA - Obecná matematika
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Omitting Types Theorem for Fuzzy Logics
In this paper we generalize the omitting types theorem, an important result of classical model theory, for a wide class of fuzzy logics, containing the prominent logics of left-continuous t-norms and unino...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Observations on Non-commutative Fuzzy Logic.
The paper presents some results on the logic psBL (pseudo-basic fuzzy logic, the generalization of BL not assuming commutativity of conjunction) and on the analogous logic psMTL - a non-commutative version of the m...
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Observations on the Monoidal t-norm Logic.
The paper is a contribution to the theory of the monoidal t-norm based logic MTL and stronger analogous to the well-known extensions of the basic fuzzy logic BL (lukasiewicz, Gödel and product logic
BA - Obecná matematika
- 2002 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Residuated logics based on strict triangular norms with an involutive negation
In general, there is only one fuzzy logic in which the standard interpretation of the strong conjunction is a strict t-norm, namely, the product logic. We study several equations which are satisfied by som...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 45 886