Kulacka, Agnieszka (2014) Tableau calculus for Basic Fuzzy Logic BL. In: 15th IPMU Conference, Montpellier, France, 15-19 Jul 2014, Montpellier, France.
Abstract
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.
Metadata
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I. Book series: Communications in Computer and Information Science ((CCIS,volume 442)) |
| School: | Birkbeck Faculties and Schools > Faculty of Business and Law > Birkbeck Business School |
| Depositing User: | Agnieszka Kulacka |
| Date Deposited: | 27 Mar 2025 16:50 |
| Last Modified: | 27 Mar 2025 16:50 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/54794 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
