-
119
pages
-
Latin
-
Documents
Description
UnivEuropersitaireapproacth2008toalloniemoFdaldesextensionsdeof2009ŠukasiewiczWlogics-DoectoraculalédissertationSciences,BrunoersitéTeheuxLiège,AcadémieAlgebraicUniviiyŠgénérerNousaluedconsacronsonscetteisdissertationsemanàcompletenessunetétudesaalgébriquehdealuedcertainesetgénéralisationsyminultivThesealuéesydeselogiquesumoextensionsdales.rtationNotremopresultsoindenotestebdeandépartofe-framess-framestŠlaaluesdénitiontdesstudymodaldèlofecas,deeloppKripkeuRésuméextensionsaluedp-vAbstract-vonaluésy-vetstartingŠfŠthe-vwherealués,knooùsueteandmpltocoedésigneolatoMV-algèbrethebienofconnlatteruewetorldŠisgeneratepsaulassous-classesalgèbrenotionstousewdallostructuresthateextensions)ancanonical-stronglogics.andpcanonicalet,des(namelyalgébriolsstooir,algebraicetelopfortes)devtandlogiquespdissourfotoutalgebraicnaturelsomengeneralizationsologics.noinndenitionulabapplyalued.strongestNousmoutilisonstics.deuxwtMV-algebraypitsesidelstructureseenpconnectionsourticsdénirpunetegerelationTdeypvarealidivtéform:oflatheclassethesedes-frames.toare-structureswhicetspcelleshdestheable(where-structuresdivisorŠofindeedtruth-vthealuées ...
-
Publié par
-
Langue
Latin