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

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

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

	题名	作者	年代	出处	被引量
1	Semi-De Morgan algebras显示文摘	SANKAPPANAVAR H P	1987	The Journal of Symbolic Logic1987，52，3：	1
2	Three uses of the herbrand-gentzen theorem in relating model theory and proof theory显示文摘	WILLIAM C	1957	Journal of Symbolic Logic1957，22，3：	1
3	Quantales and noncommutative linear logic显示文摘	David N Yetter	1990	The Journal of Symbolic Logic1990，55，1：	1
4	On the logic of theory change:Partial meet contraction and revision functions显示文摘	ALCHOURRON C E GARDENFORS P MAKINSON D	1985	Journal of Symbolic Logic1985，50，2：	1
5	A Logical Analysis of Some Value Concepts 显示文摘	F B Fitch	1963	Journal of Symbolic Logic1963，，28：	1
6	On the logic of theory change: Partial meet contraction and revision functions 显示文摘	ALCHOURRON C GARDENFORS P MAKINSON D	1985	Journal of Symbolic Logic1985，50，2：	1
7	On the calculus of relations 显示文摘	Yarski A	1941	The Journal of Symbolic Logic1941，6，3：	1
8	Logical connectives for intuitionistic propositional logic 显示文摘	McCullough D P	1971	The Journal of Symbolic Logic1971，，36：	1
9	Substructural fuzzy logics显示文摘	Metcalfe G Montagna F	2007	Journal of Symbolic Logic2007，72，3：	1
10	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
11	Systems of Syntactic Analysis 显示文摘	CHOMSKY Noam	1953	The journal of symbolic logic1953，18，3：	1
12	Common knowledge logic and game logic显示文摘	Mamoru Kaneko	1999	The Journal of Symbolic Logic1999，64，：	1
13	Another Algorithm for Bracket Abstraction显示文摘	Turner D A	1979	The Journal of Symbolic Logic1979，44，2：	1
14	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
15	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
16	A logic for approximate reasoning显示文摘	Ying M S	1994	Journal of Symbolic Logic1994，59，3：	1
17	Review: 显示文摘	CheUas Brian F	1971	The Journal of Symbolic Logic1971，，：	1
18	A logic for approximate reasoning显示文摘	Ying M S	1994	Journal of Symbolic Logic1994，59，：	1
19	On the logic of theory change: partial meet contraction and revision functions 显示文摘	Alchourron C Gardenfors P Makinson D	1985	Journal of Symbolic Logic1985，50，：	1
20	A Formulation of a Simple Theory of Types 显示文摘	Church A	1940	Journal of Symbolic Logic1940，，5：	1

返回顶部每页显示：

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

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

用户提示