LEADER 02254oam  2200469   450 
001 9910140521503321
005 20230725040253.0
010   $a9788895994567 (PDF)
035   $a(CKB)2670000000566723
035   $a(SSID)ssj0001326149
035   $a(PQKBManifestationID)12433414
035   $a(PQKBTitleCode)TC0001326149
035   $a(PQKBWorkID)11517402
035   $a(PQKB)11419858
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/55209
035   $a(EXLCZ)992670000000566723
100   $a20160829d2011      uy             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aOn Some Axiomatic Extensions of the Monoidal T-Norm Based Logic Mtl $eAn Analysis in the Propositional and in the First-Order Case /$fBianchi, Matteo
210   $cLedizioni$d2011
210 31$aMilan, Italy :$cLedizioni LediPublishing,$d[2011].
210  4$dİ2011
215   $a1 online resource (162 pages) $cillustrations
225 1 $aMathematical Sciences
300   $aBibliographic Level Mode of Issuance: Monograph
320   $aIncludes bibliographical references and index.
330   $aThe 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]).
606   $aMathematics
606   $aMathematics$vLogic
610   $aMathematical
615  0$aMathematics.
615  0$aMathematics
700   $aBianchi$b Matteo$0271766
801  0$bPQKB
801  2$bUkMaJRU
912   $a9910140521503321
996   $aOn some axiomatic extensions of the monoidal T-norm based logic MTL.$91803378
997   $aUNINA