全文获取类型
收费全文 | 450篇 |
免费 | 30篇 |
专业分类
480篇 |
出版年
2023年 | 7篇 |
2022年 | 13篇 |
2021年 | 18篇 |
2020年 | 21篇 |
2019年 | 27篇 |
2018年 | 32篇 |
2017年 | 29篇 |
2016年 | 34篇 |
2015年 | 11篇 |
2014年 | 12篇 |
2013年 | 39篇 |
2012年 | 9篇 |
2011年 | 8篇 |
2010年 | 4篇 |
2009年 | 4篇 |
2008年 | 4篇 |
2006年 | 5篇 |
1999年 | 3篇 |
1997年 | 7篇 |
1995年 | 4篇 |
1994年 | 5篇 |
1993年 | 3篇 |
1990年 | 6篇 |
1989年 | 4篇 |
1987年 | 3篇 |
1986年 | 5篇 |
1984年 | 3篇 |
1983年 | 6篇 |
1982年 | 6篇 |
1981年 | 5篇 |
1977年 | 3篇 |
1976年 | 3篇 |
1975年 | 4篇 |
1974年 | 6篇 |
1973年 | 9篇 |
1972年 | 3篇 |
1971年 | 8篇 |
1969年 | 10篇 |
1968年 | 7篇 |
1967年 | 5篇 |
1965年 | 3篇 |
1964年 | 4篇 |
1963年 | 3篇 |
1962年 | 3篇 |
1961年 | 6篇 |
1960年 | 5篇 |
1958年 | 12篇 |
1956年 | 3篇 |
1955年 | 6篇 |
1953年 | 6篇 |
排序方式: 共有480条查询结果,搜索用时 0 毫秒
391.
392.
393.
Bogusław Iwanuś 《Studia Logica》1969,24(1):131-137
394.
395.
396.
Sławomir Bugajski 《Studia Logica》1982,41(4):311-316
The paper describes in detail the procedure of identification of the inner language and an inner logico of a physical theory. The procedure is a generalization of the original ideas of J. von Neuman and G. Birkhoff about quantum logic. 相似文献
397.
Wiesław Dziobiak 《Studia Logica》1983,42(2-3):173-177
We prove that each proper ideal in the lattice of axiomatic, resp. standard strengthenings of the intuitionistic propositional logic is of cardinality 2?0. But, each proper ideal in the lattice of structural strengthenings of the intuitionistic propositional logic is of cardinality 22?0. As a corollary we have that each of these three lattices has no atoms. 相似文献
398.
Tomasz Połacik 《Studia Logica》1994,53(1):93-105
We consider propositional operators defined by propositional quantification in intuitionistic logic. More specifically, we investigate the propositional operators of the formA* :p q(p A(q)) whereA(q) is one of the following formulae: (¬¬q q) V ¬¬q, (¬¬q q) (¬¬q V ¬q), ((¬¬q q) (¬¬q V ¬q)) ((¬¬q q) V ¬¬q). The equivalence ofA*(p) to ¬¬p is proved over the standard topological interpretation of intuitionistic second order propositional logic over Cantor space.We relate topological interpretations of second order intuitionistic propositional logic over Cantor space with the interpretation of propositional quantifiers (as the strongest and weakest interpolant in Heyting calculus) suggested by A. Pitts. One of the merits of Pitts' interpretation is shown to be valid for the interpretation over Cantor space.Presented byJan Zygmunt 相似文献
399.
P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.Presented byJan Zygmunt; 相似文献
400.