Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
390022 | Fuzzy Sets and Systems | 2013 | 8 Pages |
Abstract
The main subject of logic is the study of the processes of deductive reasoning and, in particular, the validity of the so-called ‘schemes’ of such type of reasoning. In this paper, a first and partial study of the validity of the following deductive scheme is presented,IfA,thenBIfnot-A,thenBB.This study is done assuming that the statements A and B are representable in Boolean algebras, De Morgan algebras, orthomodular lattices, or in standard algebras of fuzzy sets, and with the conditional statements ‘If/then’ translated into several conditional operators by taking always into account the consequence operator.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
I. García-Honrado, E. Trillas,