The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866929594867646464 |
|---|---|
| author | Castaño, Diego Castaño, Valeria Varela, José Patricio Díaz Santis, Marcela Muñoz |
| author_facet | Castaño, Diego Castaño, Valeria Varela, José Patricio Díaz Santis, Marcela Muñoz |
| contents | In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic ${\cal G} \forall_{\sim}$ defined by F. Esteva, L. Godo, P. Hájek and M. Navara in Residuated fuzzy logics with an involutive negation, Archive for Mathematical Logic 39 (2000). To this end, we first introduce the variety $\mathbb{MG}_{\sim}$ as a certain class of Gödel algebras endowed with two monadic operators and a De Morgan negation. We study its basic properties, determine its subdirectly irreducible members and prove that this variety has the finite embeddabilty property. In particular, we prove that a special subvariety $\mathbb{CMG}_{\sim}$ of $\mathbb{MG}_\sim$ is exactly the desired equivalent algebraic semantics; this is done via a functional representation of finite subdirectly irreducible algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_11097 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$ Castaño, Diego Castaño, Valeria Varela, José Patricio Díaz Santis, Marcela Muñoz Logic In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic ${\cal G} \forall_{\sim}$ defined by F. Esteva, L. Godo, P. Hájek and M. Navara in Residuated fuzzy logics with an involutive negation, Archive for Mathematical Logic 39 (2000). To this end, we first introduce the variety $\mathbb{MG}_{\sim}$ as a certain class of Gödel algebras endowed with two monadic operators and a De Morgan negation. We study its basic properties, determine its subdirectly irreducible members and prove that this variety has the finite embeddabilty property. In particular, we prove that a special subvariety $\mathbb{CMG}_{\sim}$ of $\mathbb{MG}_\sim$ is exactly the desired equivalent algebraic semantics; this is done via a functional representation of finite subdirectly irreducible algebras. |
| title | The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$ |
| topic | Logic |
| url | https://arxiv.org/abs/2411.11097 |