全文获取类型
收费全文 | 309篇 |
免费 | 0篇 |
国内免费 | 6篇 |
出版年
2024年 | 1篇 |
2023年 | 8篇 |
2022年 | 4篇 |
2021年 | 4篇 |
2020年 | 5篇 |
2018年 | 3篇 |
2017年 | 13篇 |
2016年 | 9篇 |
2015年 | 15篇 |
2014年 | 30篇 |
2013年 | 7篇 |
2012年 | 12篇 |
2011年 | 13篇 |
2010年 | 15篇 |
2009年 | 16篇 |
2008年 | 16篇 |
2007年 | 15篇 |
2006年 | 25篇 |
2005年 | 18篇 |
2004年 | 12篇 |
2003年 | 11篇 |
2002年 | 3篇 |
2001年 | 7篇 |
2000年 | 3篇 |
1998年 | 1篇 |
1997年 | 3篇 |
1996年 | 1篇 |
1995年 | 7篇 |
1994年 | 20篇 |
1993年 | 1篇 |
1991年 | 1篇 |
1990年 | 9篇 |
1988年 | 3篇 |
1985年 | 2篇 |
1984年 | 2篇 |
排序方式: 共有315条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
5.
直觉主义认知逻辑IEL不仅为邱奇–费奇悖论提供了解悖思路,还促进了直觉主义认识论的研究。IEL的构建旨在遵循BHK解释,以“直觉主义知识就是证实的结果”作为核心观点,接纳A→KA和KA→??A。IEL的预期解释借助“证实”概念给出了“直觉主义知识KA的证明”的定义,并以此扩展BHK解释。但直觉主义逻辑依赖于直觉主义数学,这使得BHK解释的核心在于对构造性证明的要求,基于此,IEL的预期解释偏离了BHK解释的初衷,进而IEL未能达到预期构建目标。通过对KA作新解读,能引出直觉主义真和经典真之间不同程度的真,IEL系统的一些重要内定理也将获得新理解。此外,关于IEL系统对应问题的一个猜测被提出来。 相似文献
6.
7.
8.
9.
正嵩山少林寺创建于北魏太和十九年(495),为北魏孝文帝安置印度高僧跋陀而敕建,并供给衣食。跋陀在少林寺开创了律和禅两大传承。约公元527年,印度高僧菩提达摩"一苇渡江",至少林寺后山面壁九年,于中国首倡禅宗,后被尊为中国禅宗初祖,以此因缘,少林寺被尊为"天下第一祖庭"。唐初,十三棍僧助唐有功,受到李世民的封赏;唐高宗李治、武则天多次驾临少林寺,少林寺皇家寺院的地位得到进一步确立。元蒙时期,少林 相似文献
10.
塔斯基首先提出关于真之定义的T模式即:"p"是真的,当且仅当,p。随后他又用X取代T模式中的"p",并且用"满足"来定义"真"。本文一方面根据"内容恰当性"要求,提出另一种模式T′即:"p"是真的,当且仅当,p是存在的;用以补充T模式,并完善塔斯基的语言层次论。另一方面根据"形式正确性"要求,指出塔斯基对T模式的这两项修改都是多余的。 相似文献