Basic logics with alternate affirmation and denial

Authors

  • Manuel Sierra Aristizábal Universidad EAFIT

Keywords:

Affirmation, Denial, Incompatibility, Determinability

Abstract

The basic logics with alternate affirmation and denial includes, besides the usual affirmation and denial operators; other operators for the notions of alternate affirmation and denial, and incompatibility and
determination among the usual affirmation and the alternate denial, the usual denial and alternate affirmation, and the alternate affirmation and
denial operators. The system is characterized by a traditional valuation semantics, which establishes the difference between the affirmation operators and between the denial operators.

Downloads

Download data is not yet available.

Author Biography

  • Manuel Sierra Aristizábal, Universidad EAFIT
    Magíster en Matemáticas. Profesor del Departamento de Ciencias Básicas de la Universidad EAFIT e investigador del Grupo Lógica y Computación de la misma Universidad.

Downloads

Published

2012-06-07

Issue

Section

Artículos

How to Cite

Sierra Aristizábal, M. (2012). Basic logics with alternate affirmation and denial. Revista Universidad EAFIT, 41(138), 84-95. https://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/858

Most read articles by the same author(s)