Lin, Justin (2025) Tableau Calculus for Fuzzy Logic. Bachelor's Thesis, Mathematics.
|
Text
bMATH2025JustinLiQiangLin.pdf Download (528kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
Toestemming.pdf Restricted to Registered users only Download (181kB) |
Abstract
This thesis explores a tableau calculus to prove the validity of statements for Basic Logic, a Fuzzy Logic framework characterized by the use of continuous t-norms. To introduce tableau methods, we first examine a tableau calculus for Classical Propositional Logic, establishing its soundness and completeness. Building on this foundation, we construct a tableau calculus for Basic Logic that is also sound and complete. This construction relies on the Decomposition Theorem, which states that any continuous t-norm can be expressed as an ordinal sum of the Lukasiewicz and product t-norms.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Top, J. and Verbrugge, L.C. |
| Degree programme: | Mathematics |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 23 Jul 2025 08:57 |
| Last Modified: | 23 Jul 2025 08:57 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/36437 |
Actions (login required)
 |
View Item |