基于广义谢弗竖的分析性模态公理系统
B81; 沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性....
Gespeichert in:
| Veröffentlicht in: | 逻辑学研究 2009, Vol.2 (3), p.37-49 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | chi |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 49 |
|---|---|
| container_issue | 3 |
| container_start_page | 37 |
| container_title | 逻辑学研究 |
| container_volume | 2 |
| creator | 唐芳芳 |
| description | B81; 沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性. |
| doi_str_mv | 10.3969/j.issn.1674-3202.2009.03.004 |
| format | Article |
| fullrecord | <record><control><sourceid>wanfang_jour</sourceid><recordid>TN_cdi_wanfang_journals_zsdxxblc200903004</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><wanfj_id>zsdxxblc200903004</wanfj_id><sourcerecordid>zsdxxblc200903004</sourcerecordid><originalsourceid>FETCH-wanfang_journals_zsdxxblc2009030043</originalsourceid><addsrcrecordid>eNpjYFAxNNAztjSz1M_SyywuztMzNDM30TU2MjDSMzIwsNQzMNYzMDBhYeCEi3Mw8BYXZyYBJc0szAwtLTkZjJ_O3_VkV9_Tnfuf7Ox8sWHR0z3Tn6-e9nxWy9OOtmfzJjxrWP5sxcJnDY1PW9c8n9D2fPPu57vn8zCwpiXmFKfyQmluBk031xBnD93yxLy0xLz0-Kz80qI8oEx8VXFKRUVSTjLIOQbGQMcYk6IWAItgUyA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>基于广义谢弗竖的分析性模态公理系统</title><source>国家哲学社会科学学术期刊数据库 (National Social Sciences Database)</source><creator>唐芳芳</creator><creatorcontrib>唐芳芳</creatorcontrib><description>B81; 沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性.</description><identifier>ISSN: 1674-3202</identifier><identifier>DOI: 10.3969/j.issn.1674-3202.2009.03.004</identifier><language>chi</language><publisher>中国社会科学院马克思主义研究院</publisher><ispartof>逻辑学研究, 2009, Vol.2 (3), p.37-49</ispartof><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://www.wanfangdata.com.cn/images/PeriodicalImages/zsdxxblc/zsdxxblc.jpg</thumbnail><link.rule.ids>314,780,784,4024,27923,27924,27925</link.rule.ids></links><search><creatorcontrib>唐芳芳</creatorcontrib><title>基于广义谢弗竖的分析性模态公理系统</title><title>逻辑学研究</title><description>B81; 沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性.</description><issn>1674-3202</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><recordid>eNpjYFAxNNAztjSz1M_SyywuztMzNDM30TU2MjDSMzIwsNQzMNYzMDBhYeCEi3Mw8BYXZyYBJc0szAwtLTkZjJ_O3_VkV9_Tnfuf7Ox8sWHR0z3Tn6-e9nxWy9OOtmfzJjxrWP5sxcJnDY1PW9c8n9D2fPPu57vn8zCwpiXmFKfyQmluBk031xBnD93yxLy0xLz0-Kz80qI8oEx8VXFKRUVSTjLIOQbGQMcYk6IWAItgUyA</recordid><startdate>2009</startdate><enddate>2009</enddate><creator>唐芳芳</creator><general>中国社会科学院马克思主义研究院</general><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>2009</creationdate><title>基于广义谢弗竖的分析性模态公理系统</title><author>唐芳芳</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-wanfang_journals_zsdxxblc2009030043</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>chi</language><creationdate>2009</creationdate><toplevel>online_resources</toplevel><creatorcontrib>唐芳芳</creatorcontrib><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>逻辑学研究</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>唐芳芳</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>基于广义谢弗竖的分析性模态公理系统</atitle><jtitle>逻辑学研究</jtitle><date>2009</date><risdate>2009</risdate><volume>2</volume><issue>3</issue><spage>37</spage><epage>49</epage><pages>37-49</pages><issn>1674-3202</issn><abstract>B81; 沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍.在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质:单调性和切割性.</abstract><pub>中国社会科学院马克思主义研究院</pub><doi>10.3969/j.issn.1674-3202.2009.03.004</doi></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1674-3202 |
| ispartof | 逻辑学研究, 2009, Vol.2 (3), p.37-49 |
| issn | 1674-3202 |
| language | chi |
| recordid | cdi_wanfang_journals_zsdxxblc200903004 |
| source | 国家哲学社会科学学术期刊数据库 (National Social Sciences Database) |
| title | 基于广义谢弗竖的分析性模态公理系统 |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T08%3A57%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=%E5%9F%BA%E4%BA%8E%E5%B9%BF%E4%B9%89%E8%B0%A2%E5%BC%97%E7%AB%96%E7%9A%84%E5%88%86%E6%9E%90%E6%80%A7%E6%A8%A1%E6%80%81%E5%85%AC%E7%90%86%E7%B3%BB%E7%BB%9F&rft.jtitle=%E9%80%BB%E8%BE%91%E5%AD%A6%E7%A0%94%E7%A9%B6&rft.au=%E5%94%90%E8%8A%B3%E8%8A%B3&rft.date=2009&rft.volume=2&rft.issue=3&rft.spage=37&rft.epage=49&rft.pages=37-49&rft.issn=1674-3202&rft_id=info:doi/10.3969/j.issn.1674-3202.2009.03.004&rft_dat=%3Cwanfang_jour%3Ezsdxxblc200903004%3C/wanfang_jour%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_wanfj_id=zsdxxblc200903004&rfr_iscdi=true |