In this paper we present a tableau calculus for BL, basic fuzzy logic introduced by Petr Hájek in his monograph Metamathematics of Fuzzy Logic. We show that it is sound and complete with respect to continuous t-norms, and demonstrate the refutational procedure and the search for models procedure on a selected example. The idea of the calculus is based on the decomposition theorem for a continuous t-norm, by which this operation is shown to be equivalent to the ordinal sum of a family of t-norms defined on countably many intervals. © Springer International Publishing Switzerland 2014.
CITATION STYLE
Kułlacka, A. (2014). Tableau Calculus for Basic Fuzzy Logic BL. In Communications in Computer and Information Science (Vol. 442 CCIS, pp. 325–334). Springer Verlag. https://doi.org/10.1007/978-3-319-08795-5_34
Mendeley helps you to discover research relevant for your work.