From many-valued consequence to many-valued connectives.
Given a consequence relation in many-valued logic, what connectives can be defined? For instance, does there always exist a conditional operator internalizing the consequence relation, and which form should it take? In this paper, we pose this question in a multi-premise multi-conclusion setting for...
| Publicado en: | Synthese Vol. 198; pp. 5315 - 5353 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Oct2021 Supplement 22
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |