Lgica bsica con afirmacin alterna

摘要

The language of the system extends language of the classical logic when including an operator for the notion of alternate amation (in contrast to the classical amation or usual amation), and also operators of incompatibility and determinability between the pair of operators negation and alternate amation. The system is characterized by a semantics of valuations, with which no-equivalence between both operators amation is shown. The system collapse in the classical logic if this equivalence is required. They are generated two intermediate systems when it is required by a side that the alternate amation imply classical amation and the other hand the reciprocal implication.MSC:03BXX, 03B45, 03B53