|
Título:
|
Binary operators and connective rules.
|
|
Autores:
|
Cutello, V. ;
Molina, E. ;
Montero, Javier
|
|
Tipo de documento:
|
texto impreso
|
|
Editorial:
|
IEEE, 1996
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = Publicado
,
Materia = Ciencias: Matemáticas: Lógica simbólica y matemática
,
Tipo = Sección de libro
|
|
Resumen:
|
The main aim of this paper is to point out that a connective rule should be understood as a consistent family of connectives, in such a way that given any finite sequence of values we can evaluate its connective value. A connective rule is what we really need in practice, not a single connective operator. Only in some few cases we can characterize such a connective rule by means of a unique (associative) binary connective operator.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/29198/1/Montero177.pdf
|
