维普期刊资源整合服务平台（V6.5）

42篇 您的检索式：期刊名="The Journal of Symbolic Logic"

选中清除导出查看参考文献查看引证文献引用追踪共3页首页上一页第1页下一页末页 /3 跳转

	题名	作者	年代	出处	被引量
1	Semi-De Morgan algebras显示文摘	SANKAPPANAVAR H P	1987	The Journal of Symbolic Logic1987，52，3：	1
2	Quantales and noncommutative linear logic显示文摘	David N Yetter	1990	The Journal of Symbolic Logic1990，55，1：	1
3	On the calculus of relations 显示文摘	Yarski A	1941	The Journal of Symbolic Logic1941，6，3：	1
4	Logical connectives for intuitionistic propositional logic 显示文摘	McCullough D P	1971	The Journal of Symbolic Logic1971，，36：	1
5	On the logic of theory change:partial meet contraction and revision functions显示文摘	C E Alchourrtn P G rdenfors and D Makinson	1985	The Journal of Symbolic Logic1985，50，2：	1
6	Systems of Syntactic Analysis 显示文摘	CHOMSKY Noam	1953	The journal of symbolic logic1953，18，3：	1
7	Common knowledge logic and game logic显示文摘	Mamoru Kaneko	1999	The Journal of Symbolic Logic1999，64，：	1
8	Another Algorithm for Bracket Abstraction显示文摘	Turner D A	1979	The Journal of Symbolic Logic1979，44，2：	1
9	On the logic of theory change : partial meet contraction and revision functions显示文摘	Alchourron C GardenforsP MakinsonD	1985	The Journal of Symbolic logic1985，50，2：	1
10	On the logic of theory change:partial meet contraction and revision functions显示文摘	Gardenfors P Markinson D	1985	The Journal of Symbolic logic1985，50，2：	1
11	Review: 显示文摘	CheUas Brian F	1971	The Journal of Symbolic Logic1971，，：	1
12	A Purely Syntactical Definition of Confirmation 显示文摘	Hempel C G	1943	The Journal of Symbolic Logic1943，，8：	1
13	On the logic of theory change:partial meet contraction and revision functions显示文摘	Gardenfors P Markinson D	1985	The Journal of Symbolic Logic1985，50，：	1
14	The Roots of Contemporary Platonism 显示文摘	Maddy P	1989	The Journal of Symbolic Logic1989，，4：	1
15	'A Survey of Proof Theory' 显示文摘	Kreisel G	1968	The Journal of Symbolic Logic1968，33，3：	1
16	A Logical analysis of some value concepts显示文摘	FITCH F	1963	The journal of symbolic logic1963，，28：	1
17	Quantales and (noncommutative) linear logic 显示文摘	Yetter D N	1990	The Journal of Symbolic Logic1990，55，1：	1
18	A logical analysis of some value concepts显示文摘	Frederic Fitch	1963	The Journal of Symbolic Logic1963，28，2：	1
19	Quantales and(noncommutative)linear logic显示文摘	Yetter D	1990	The Journal of Symbolic Logic1990，55，1：	1
20	New Set- Theoretic Axioms Derived from a Lean Metamathematics显示文摘	an Mycielski	1995	The Journal of Symbolic Logic1995，60，1：	1

返回顶部每页显示：

共3页首页上一页第1页下一页末页 /3 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示