The paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtáš, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural languages. In fuzzy linguistic logic programming, truth values are linguistic ones, e.g., VeryTrue, VeryProbablyTrue, and LittleFalse, taken from a h...

background and aims. connective tissue grafts with and without periosteum is used in regenerative treatments of bone and has demonstrated successful outcomes in previous investigations. the aim of present study was to evaluate the effectiveness of connective tissue graft with and without periosteum in regeneration of intrabony defects. materials and methods. in this single-blind randomized spli...

background: localized alveolar ridge defect may create physiological and pathological problems. developments in surgical techniques have made it simpler to change the confi guration of a ridge to create a more aesthetic and more easily cleansable shape. the purpose of this study was to compare the effi cacy of alveolar ridge augmentation using a subepithelial connective tissue graft in pouch an...

In the paper the problem of mathematical properties of B-operations and weak WB-operations introduced by the author for interpretation of connectives “and”, “or”, and “also” in fuzzy rules is considered. In previous author’s papers some interesting properties of fuzzy systems with these operations were shown. These operations are weaker than triangular norms used commonly for a fuzzy system des...

Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic program is determining the right weights for each rule, as well as the most appropriate fuzzy connectives and operators. In this paper, we introduce a symbolic extension of fuzzy logic programs in which some of these para...

This paper presents a tableau calculus for finding a model for a set-satisfiable finite set of formulas of a fuzzy logic BL△∼, a fuzzy logic BL with additional Baaz connective △ and the involutive negation ∼, if such a model exists. The calculus is a generalisation of a tableau calculus for BL, which is based on the decomposition theorem for a continuous t-norm. The aforementioned tableau calcu...

A fuzzy rough set approach has been proposed without using any fuzzy logical connectives. By this approach, gradual decision rules are induced from a given decision table. Fuzzy-rough modus ponens and fuzzy-rough modus tollens have been formulated based on the gradual decision rules. The equivalence condition between fuzzy-rough modus ponens and fuzzy-rough modus tollens is discussed. The condi...

The crecient use of fuzzy systems in complex applications has motivated us to develop a new version of Xfuzzy, the design environment for fuzzy system created at the IMSE (Instituto de Microelectrónica de Sevilla). This new version, Xfuzzy 3.0, offers the advantages of being enterely programmed in Java, and allows designing hierarchical rule bases that can interchange fuzzy or non fuzzy values ...

In this paper we build upon previous works of Hájek and Vychodil on the axiomatization of truthstressing and depressing hedges as expansions of BL logic by new unary connectives. They show that their logics are chain-complete, but standard completeness is only proved for the expansions over Gödel logic. We propose weaker axiomatizations that have as main advantages the preservation of standard ...

Chu spaces, which derive from the Chu construct of ∗-autonomous categories, can be used to represent most mathematical structures. Moreover, the logic of Chu spaces is linear logic. Most efforts to incorporate fuzzy set theory into the realm of linear logic are based on the assumption that fuzzy and linear negation are identical operations. We propose an incorporation based on the opposite assu...