Binary operators and connective rules
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 ope...
| Autores: | , , |
|---|---|
| Tipo de recurso: | capítulo de libro |
| Fecha de publicación: | 1996 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | inglés |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/60887 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/60887 |
| Access Level: | acceso abierto |
| Palabra clave: | 510.64 Lógica simbólica y matemática (Matemáticas) 1102.14 Lógica Simbólica |
| Sumario: | 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. |
|---|