Logic-based analogical proportions
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909971303628800 |
|---|---|
| author | Antić, Christian |
| author_facet | Antić, Christian |
| contents | The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. The purpose of this paper is to lift that framework from universal algebra to the strictly more expressive setting of full first-order logic. We show that the so-obtained logic-based framework preserves all desired properties and we prove novel results in that extended setting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_14402 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Logic-based analogical proportions Antić, Christian Logic in Computer Science Discrete Mathematics Logic The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. The purpose of this paper is to lift that framework from universal algebra to the strictly more expressive setting of full first-order logic. We show that the so-obtained logic-based framework preserves all desired properties and we prove novel results in that extended setting. |
| title | Logic-based analogical proportions |
| topic | Logic in Computer Science Discrete Mathematics Logic |
| url | https://arxiv.org/abs/2406.14402 |