全文获取类型
| 收费全文 | 119篇 |
| 免费 | 2篇 |
| 国内免费 | 10篇 |
专业分类
| 化学 | 19篇 |
| 力学 | 1篇 |
| 综合类 | 3篇 |
| 数学 | 101篇 |
| 物理学 | 7篇 |
出版年
| 2022年 | 2篇 |
| 2021年 | 4篇 |
| 2020年 | 4篇 |
| 2019年 | 6篇 |
| 2018年 | 5篇 |
| 2017年 | 1篇 |
| 2016年 | 8篇 |
| 2015年 | 5篇 |
| 2014年 | 4篇 |
| 2013年 | 10篇 |
| 2012年 | 4篇 |
| 2011年 | 2篇 |
| 2010年 | 3篇 |
| 2009年 | 1篇 |
| 2008年 | 5篇 |
| 2007年 | 6篇 |
| 2006年 | 10篇 |
| 2005年 | 3篇 |
| 2004年 | 9篇 |
| 2003年 | 2篇 |
| 2002年 | 8篇 |
| 2001年 | 5篇 |
| 2000年 | 1篇 |
| 1999年 | 4篇 |
| 1998年 | 5篇 |
| 1997年 | 2篇 |
| 1996年 | 2篇 |
| 1995年 | 1篇 |
| 1994年 | 1篇 |
| 1993年 | 1篇 |
| 1992年 | 3篇 |
| 1987年 | 1篇 |
| 1985年 | 2篇 |
| 1980年 | 1篇 |
排序方式： 共有131条查询结果，搜索用时 46 毫秒
131.
Kentaro Kikuchi 《Mathematical Logic Quarterly》2002,48(1):87-92
We introduce a dual‐context style sequent calculus which is complete with respectto Kripke semantics where implication is interpreted as strict implication in the modal logic K. The cut‐elimination theorem for this calculus is proved by a variant of Gentzen's method. 相似文献