Title of article :
A note on a deductive scheme of Dummett in classical and fuzzy logics
Author/Authors :
Garcيa-Honrado، نويسنده , , I. and Trillas، نويسنده , , E.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2013
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, If A , then B If not - A , then B B . 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 :
Schemes of deductive reasoning , Dummettיs scheme , Fuzzy Logic , Classical logic
Journal title :
FUZZY SETS AND SYSTEMS
Journal title :
FUZZY SETS AND SYSTEMS