On some axiomatic extensions of the monoidal T-norm based logic MTL.

Mathematical Sciences

Matteo Bianchi

keywords: Mathematical;   

Publisher: Ledizioni - LediPublishing

Subject:数学（综合）

【 摘 要 】

The scientific area this thesis belongs to is many-valued logics: this means logics in which, from the semantical point of view, we have ��intermediate�� truth-values, between 0 and 1 (which in turns are designated to represent, respectively, the ��false�� and the ��true��). The classical logic (propositional, for simplicity) is based on the fact that every statement is true or false: this is reflected by the excluded middle law, that is a theorem of this logic. However, there are many reasons that suggest to reject this law: for example, intuitionistic logic does not satisfy it, since this logic reflects a ��constructive�� conception of mathematics (see [Hey71, Tro69]).

【 授权许可】

CC BY-SA   

【 图 表 】

On some axiomatic extensions of the monoidal T-norm based logic MTL..png