国产综合久久久久-狠狠色噜噜狠狠狠狠av-国产女人乱人伦精品一区二区-亚洲a∨国产av综合av下载-爱做久久久久久

首頁 > 期刊 > 人文社會科學 > 哲學與人文科學 > 邏輯學 > 邏輯學研究 > 深度和弱寬度有窮的傳遞邏輯的有窮可公理化 【正文】

深度和弱寬度有窮的傳遞邏輯的有窮可公理化

張炎 中國人民大學哲學院、哲學與認知科學跨學科平臺
  • 公理化
  • 邏輯
  • 寬度
  • 自然數
  • 證明

摘要:這篇文章研究深度和弱寬度都有窮的傳遞邏輯類的可有窮公理化問題,并給出了正反兩方面的結論。在正面方面,本文證明了對每個深度有窮且弱寬度為1的傳遞邏輯L,如果L 的框架中反鏈的禁自返點基數都不大于某個自然數n,那么L 是有窮可公理化的。對于反面結論,本文證明了對任意n≥ 3 和k ≥ 2,存在深度為n 且弱寬度為k 的傳遞邏輯是不可有窮公理化的。

注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社

投稿咨詢 文秘咨詢

邏輯學研究

  • 預計1-3個月 預計審稿周期
  • 0.33 影響因子
  • 政法 快捷分類
  • 雙月刊 出版周期

主管單位:中山大學;主辦單位:中山大學;中國邏輯學會

我們提供的服務

服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
主站蜘蛛池模板: 成人免费午夜a大片app| 国产成人麻豆亚洲综合无码精品| 黑人大战日本人妻嗷嗷叫不卡视频| 四虎国产精品永久免费网址| 精品国产av一二三四区| 国产精品久久欧美久久一区| 国产亚洲精品久久av| 永久黄网站免费视频性色| 射精情感曰妓女色视频| 久久无码人妻丰满熟妇区毛片 | 宝宝好涨水快流出来免费视频| 92国产精品午夜福利| 国产成人无码一二三区视频| 在线日产精品一区| 人妻少妇精品无码专区芭乐视网| 97超级碰碰人妻中文字幕| 绝顶高潮合集videos| 精品一区二区三区免费视频| 丰满少妇熟乱xxxxx视频| 两个奶头被吃高潮视频| 国产乱人偷精品人妻a片| 成人性能视频在线| 国产性夜夜春夜夜爽1a片| 一女被多男玩喷潮视频| 成人午夜精品无码区| 乱精品一区字幕二区| 国产成人精品综合在线观看| 国模精品一区二区三区| a国产在线v的不卡视频| 亚洲欧美精品午睡沙发| 强行糟蹋人妻hd中文字| 少妇人妻系列无码专区视频 | 午夜精品国产精品大乳美女| 国产成人无码www免费视频播放 | 国产性猛交普通话对白| 欧美偷窥清纯综合图区| 狠狠人妻久久久久久综合| 乱人伦xxxx国语对白| 亚洲国产成人精品无码区软件 | 久久国产色av| 中文无码一区二区不卡av|