Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem

Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem

The concept of truth degrees of formulas in Łukasiewiczn-valued propositional logicLn is proposed. A limit theorem is obtained, which says that the truth functionτn induced by truth degrees converges to the integrated truth functionτ whenn converges to infinite. Hence this limit theorem builds a bri...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Science China. Information sciences 2005-12, Vol.48 (6), p.727-736
Hauptverfasser: Li, Bijing, Wang, Guojun
Format: Artikel
Sprache:eng
Schlagworte:
Convergence
Logic
Theorems
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 736
container_issue 6
container_start_page 727
container_title Science China. Information sciences
container_volume 48
creator Li, Bijing
Wang, Guojun
description The concept of truth degrees of formulas in Łukasiewiczn-valued propositional logicLn is proposed. A limit theorem is obtained, which says that the truth functionτn induced by truth degrees converges to the integrated truth functionτ whenn converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Łukasiewicz logic and the continuous valued Łukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
doi_str_mv 10.1360/122005-47
format Article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2918570621</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2918570621</sourcerecordid><originalsourceid>FETCH-proquest_journals_29185706213</originalsourceid><addsrcrecordid>eNqNjE1uwjAUhC1UJFBhwQ2exNqtfyBO1lWrHoBFd5GVvIDBicHPLqK7Hq73apB6gM5mRqOZj7GVFE9SF-JZKiXElm_MhM1lWVRcVrJ6GHNhNtxo_TFjS6KjGKW1UKacs2Z3wBBvEDpIMacDtLiPiHQvuhD77C2BG-DnO58sOby65mvgn9ZnbOEcwzmQSy4M1oMPe9eAHVqw4F3vEqQ7G_sFm3bWEy7__JGt3153L-98_F8yUqqPIccRQbWqZLk1olBS_2_1C4gRTKY</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2918570621</pqid></control><display><type>article</type><title>Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem</title><source>Alma/SFX Local Collection</source><source>SpringerLink Journals - AutoHoldings</source><source>ProQuest Central</source><creator>Li, Bijing ; Wang, Guojun</creator><creatorcontrib>Li, Bijing ; Wang, Guojun</creatorcontrib><description>The concept of truth degrees of formulas in Łukasiewiczn-valued propositional logicLn is proposed. A limit theorem is obtained, which says that the truth functionτn induced by truth degrees converges to the integrated truth functionτ whenn converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Łukasiewicz logic and the continuous valued Łukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.</description><identifier>ISSN: 1674-733X</identifier><identifier>EISSN: 1869-1919</identifier><identifier>DOI: 10.1360/122005-47</identifier><language>eng</language><publisher>Heidelberg: Springer Nature B.V</publisher><subject>Convergence ; Logic ; Theorems</subject><ispartof>Science China. Information sciences, 2005-12, Vol.48 (6), p.727-736</ispartof><rights>Science in China Press 2005.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2918570621?pq-origsite=primo$$EHTML$$P50$$Gproquest$$H</linktohtml><link.rule.ids>314,776,780,21367,27901,27902,33721,43781</link.rule.ids></links><search><creatorcontrib>Li, Bijing</creatorcontrib><creatorcontrib>Wang, Guojun</creatorcontrib><title>Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem</title><title>Science China. Information sciences</title><description>The concept of truth degrees of formulas in Łukasiewiczn-valued propositional logicLn is proposed. A limit theorem is obtained, which says that the truth functionτn induced by truth degrees converges to the integrated truth functionτ whenn converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Łukasiewicz logic and the continuous valued Łukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.</description><subject>Convergence</subject><subject>Logic</subject><subject>Theorems</subject><issn>1674-733X</issn><issn>1869-1919</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2005</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNqNjE1uwjAUhC1UJFBhwQ2exNqtfyBO1lWrHoBFd5GVvIDBicHPLqK7Hq73apB6gM5mRqOZj7GVFE9SF-JZKiXElm_MhM1lWVRcVrJ6GHNhNtxo_TFjS6KjGKW1UKacs2Z3wBBvEDpIMacDtLiPiHQvuhD77C2BG-DnO58sOby65mvgn9ZnbOEcwzmQSy4M1oMPe9eAHVqw4F3vEqQ7G_sFm3bWEy7__JGt3153L-98_F8yUqqPIccRQbWqZLk1olBS_2_1C4gRTKY</recordid><startdate>20051201</startdate><enddate>20051201</enddate><creator>Li, Bijing</creator><creator>Wang, Guojun</creator><general>Springer Nature B.V</general><scope>8FE</scope><scope>8FG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope></search><sort><creationdate>20051201</creationdate><title>Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem</title><author>Li, Bijing ; Wang, Guojun</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_29185706213</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Convergence</topic><topic>Logic</topic><topic>Theorems</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Li, Bijing</creatorcontrib><creatorcontrib>Wang, Guojun</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Advanced Technologies &amp; Aerospace Database</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><jtitle>Science China. Information sciences</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Li, Bijing</au><au>Wang, Guojun</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem</atitle><jtitle>Science China. Information sciences</jtitle><date>2005-12-01</date><risdate>2005</risdate><volume>48</volume><issue>6</issue><spage>727</spage><epage>736</epage><pages>727-736</pages><issn>1674-733X</issn><eissn>1869-1919</eissn><abstract>The concept of truth degrees of formulas in Łukasiewiczn-valued propositional logicLn is proposed. A limit theorem is obtained, which says that the truth functionτn induced by truth degrees converges to the integrated truth functionτ whenn converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Łukasiewicz logic and the continuous valued Łukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.</abstract><cop>Heidelberg</cop><pub>Springer Nature B.V</pub><doi>10.1360/122005-47</doi></addata></record>
fulltext fulltext
identifier ISSN: 1674-733X
ispartof Science China. Information sciences, 2005-12, Vol.48 (6), p.727-736
issn 1674-733X
1869-1919
language eng
recordid cdi_proquest_journals_2918570621
source Alma/SFX Local Collection; SpringerLink Journals - AutoHoldings; ProQuest Central
subjects Convergence
Logic
Theorems
title Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-05T23%3A15%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Theory%20of%20truth%20degrees%20of%20formulas%20in%20%C5%81ukasiewiczn-valued%20propositional%20logic%20and%20a%20limit%20theorem&rft.jtitle=Science%20China.%20Information%20sciences&rft.au=Li,%20Bijing&rft.date=2005-12-01&rft.volume=48&rft.issue=6&rft.spage=727&rft.epage=736&rft.pages=727-736&rft.issn=1674-733X&rft.eissn=1869-1919&rft_id=info:doi/10.1360/122005-47&rft_dat=%3Cproquest%3E2918570621%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2918570621&rft_id=info:pmid/&rfr_iscdi=true