A strict negation operator for multivalued systems
Abstract
In this paper I will exam some issues about the meaning of the logical constant “negation”. I will defend that it has two main features, one is being formally and conceptually prior to the other two basic logical connectives: conjunction and disjunction, and the other is having as a main character its ability to function as a switch of truth values, flip flopping one into the opposite. I will also argue for two other constraints one might ask for this type of operator to be called strict or strong. Finally, I show that is possible to design a multivalued logical system taking FOUR as a basis, and adding a strong yet non-classical negation to it.Downloads
Los autores/as que publiquen en esta revista aceptan las siguientes condiciones:
Los/as autores/as [traductores/as] conservan los derechos de autor/a y ceden a la revista el derecho de la primera publicación, con el trabajo registrado con Licencia Creative Commons Atribución-NoComercial-CompartirIgual 4.0 Internacional, que permite a terceros utilizar lo publicado siempre que mencionen la autoría del trabajo y a la primera publicación en esta revista.
Los/as autores/as pueden realizar otros acuerdos contractuales independientes y adicionales para la distribución no exclusiva de la versión del artículo publicado en esta revista (p. ej., incluirlo en un repositorio institucional o publicarlo en un libro) siempre que indiquen claramente que el trabajo se publicó por primera vez en esta revista.
Se permite y recomienda a los/as autores/as a publicar su trabajo en Internet (por ejemplo en páginas institucionales o personales).
Políticas de detección de plagio
La colaboración de los y las editores/as, autores/as y evaluadores/as de esta revista y la guía de ética de los procesos editoriales se rige por los Principios de transparencia y buena práctica en publicaciones académicas del Committee on Publication Ethics (COPE) disponible aquí.
Todos los artículos enviados a esta publicación serán supervisados mediante una búsqueda online.