2014/07/11 by Agnieszka Kulacka, Kulacka, Agnieszka
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
paper · pdf · doi:10.48550/arxiv.1407.3128
arxiv created 2014/07/11 · arxiv updated 2014/07/14
This paper presents a tableau calculus for finding a model for a set-satisfiable finite set of formulas of an extended 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 calculus for BL is used to prove that a formula A of the extended BL is valid with respect to all continuous t-norms or to find a continuous t-norm * and assignment V of propositional atoms to [0,1] such that *-evaluation V*(A)<1. The tableau calculus presented in this paper enables for a finite set of formulas F of the extended BL and a subset K of [0,1] to find a continuous t-norm * and assignment V of propositional atoms to [0,1] such that *-evaluation V*(A) belongs to K for all formulas A that belong to F, or alternatively to show that such a model does not exist.