logo

您所在位置网站首页 > 海量文档  > 百科知识 > 外语学习

essays on non-classical logic:(文章对非经典的逻辑).pdf 275页

本文档一共被下载: ,您可全文免费在线阅读后下载本文档。

  • 支付并下载
  • 收藏该文档
  • 百度一下本文档
  • 修改文档简介
全屏预览

下载提示

1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值,立即自动返金币,充值渠道很便利
下载地址
需要金币:300    文档纠错   收藏文档   下载帮助
支付并下载
特别说明: 下载前务必先预览,自己验证一下是不是你要下载的文档。
  • 上传作者 2017ll(上传创作收益人)
  • 发布时间:2017-07-17
  • 需要金币300(10金币=人民币1元)
  • 浏览人气
  • 下载次数
  • 收藏次数
  • 文件大小:3.58 MB
下载过该文档的会员
essays on non-classical logic:(文章对非经典的逻辑)
你可能关注的文档:
--------------------------Page1------------------------------AdvancesinLogic—Vol.1EssaysonNon-ClassicalLogicEditorHeinrichWansing--------------------------Page2------------------------------EssaysonNon-ClassicalLogic--------------------------Page3--------------------------------------------------------Page4------------------------------AdvancesinLogic-Vol.1EssaysonNon-ClassicalLogicEditorHeinrichWansingDresdenUniversityofTechnology,GermanyfeWorldScientificllNewJersey•London•Singapore•HongKong--------------------------Page5------------------------------PublishedbyWorldScientificPublishingCo.Pte.Ltd.POBox128,FarrerRoad,Singapore912805USAoffice:SuiteIB,1060MainStreet,RiverEdge,NJ07661UKoffice:57SheltonStreet,CoventGarden,LondonWC2H9HEBritishLibraryCataloguing-in-PublicationDataAcataloguerecordforthisbookisavailablefromtheBritishLibrary.ESSAYSONNON-CLASSICALLOGICAdvancesinLogic—Volume1Copyright©2001byWorldScientificPublishingCo.Pte.Ltd.Allrightsreserved.Thisbook,orpartsthereof,maynotbereproducedinanyformorbyanymeans,electronicormechanical,includingphotocopying,recordingoranyinformationstorageandretrievalsystemnowknownortobeinvented,withoutwrittenpermissionfromthePublisher.Forphotocopyingofmaterialinthisvolume,pleasepayacopyingfeethroughtheCopyrightClearanceCenter,Inc.,222RosewoodDrive,Danvers,MA01923,USA.Inthiscasepermissiontophotocopyisnotrequiredfromthepublisher.ISBN981-02-4735-4PrintedinSingaporebyMainlandPress--------------------------Page6------------------------------Contents1FineGrainedTheoriesofTimePATRICKBLACKBURN11.1PrioreanTenseLogic31.2ReferentialTenseLogic71.3AFirstLookatAllen'sSystem171.4ASortedInterval-BasedLanguage231.5ConcludingRemarks302RevisionSequencesandComputersWithanInfiniteAmountofTimeBENEDIKTLOWE372.1Introduction372.2TheGupta-BelnapSystems392.2.1RevisionSequences392.2.2TheSystemsS#andS*422.3InfiniteTimeTuringMachines452.4RevisionSequencesModeledbyInfiniteTimeTuringMachines492.5TheLimitRuleandOtherApplications552.6Aftermath56v--------------------

请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
用户名: 验证码: 点击我更换图片

©2010-2013 max.book118.com在线文档投稿赚钱网. All Rights Reserved 蜀ICP备08101938号