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

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

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

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

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

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

投稿咨詢 文秘咨詢

邏輯學研究

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

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

我們提供的服務

服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
主站蜘蛛池模板: 美女视频黄是免费| 五月天天天综合精品无码| √天堂中文官网8在线| 精品国产乱码一区二区三区| 99精品久久久久中文字幕| 精品国产中文字幕在线视频| 国产精品亚洲专区无码牛牛| 欧美性猛交aaaa片黑人| 欧美做爰性生交视频| 久久精品黄aa片一区二区三区| 亚洲精品屋v一区二区| 久久综合色_综合色88| 国产97超碰人人做人人爱| 国产女人被狂躁到高潮小说| 国内大量偷窥精品视频| 国产人与禽zoz0性伦多活几年| 色欲麻豆国产福利精品| 亚洲人成电影在线播放| 日韩精品一区二区三区免费视频 | 内射毛片内射国产夫妻| 久久久久亚洲精品| 97精品人妻一区二区三区香蕉| 国产精品爽爽久久久久久竹菊| 无码毛片一区二区三区本码视频| 亚洲乱人伦中文字幕无码| 亚洲伊人情人综合网站| 亚洲色大成网站www看下面| 女人被狂爆到高潮免费视频| 国产亚洲精品品视频在线| av不卡国产在线观看| 国产激情无码视频在线播放| 欧美日韩亚洲国内综合网38c38| 亚洲色欲色欲www在线看小说| 亚洲成在人线av品善网好看| 在线精品国产大象香蕉网| 国产乱码卡二卡三卡老狼| 亚洲 欧美 清纯 校园 另类 | 大学生高潮无套内谢视频| 亚洲亚洲人成网站网址| 无码人妻熟妇av又粗又大| 九九九免费观看视频|