Strong standard completeness theorems for S5-modal Lukasiewicz logics
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929453887651840 |
|---|---|
| author | Castaño, Diego Varela, José Patricio Díaz Savoy, Gabriel |
| author_facet | Castaño, Diego Varela, José Patricio Díaz Savoy, Gabriel |
| contents | We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then expanded with an infinitary rule to achieve strong completeness. These results are derived from properties of monadic MValgebras: functional representations of simple and finitely subdirectly irreducible algebras, as well as the finite embeddability property. We also show similar completeness theorems for the extension of the logic based on models with bounded universe. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_04757 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Strong standard completeness theorems for S5-modal Lukasiewicz logics Castaño, Diego Varela, José Patricio Díaz Savoy, Gabriel Logic We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then expanded with an infinitary rule to achieve strong completeness. These results are derived from properties of monadic MValgebras: functional representations of simple and finitely subdirectly irreducible algebras, as well as the finite embeddability property. We also show similar completeness theorems for the extension of the logic based on models with bounded universe. |
| title | Strong standard completeness theorems for S5-modal Lukasiewicz logics |
| topic | Logic |
| url | https://arxiv.org/abs/2408.04757 |