Basic logics with alternate affirmation and denial
Main Article Content
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.
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.