Marjanovic, Luka (2022) An algebraic method for solving the Boolean Satisfiability Problem in Łukasiewicz logic. Bachelor's Thesis, Mathematics.
|
Text
bMATH_2022_MarjanovicL.pdf Download (373kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf Restricted to Registered users only Download (118kB) |
Abstract
In this thesis, we consider the Boolean Satisfiability Problem for the 3-valued Łukasiewicz logic. We reframe the problem in algebraic terms, showing how to represent propositional formulas as polynomials and using ring theory to determine when solutions exist for such polynomials. We then use Gröbner bases to determine precisely whether or not a polynomial, and therefore the propositional formula it represents, is satisfiable.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Top, J. |
| Degree programme: | Mathematics |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 15 Jul 2022 12:16 |
| Last Modified: | 15 Jul 2022 12:16 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/27903 |
Actions (login required)
 |
View Item |