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

161篇 您的检索式：期刊名="Symbolic Logic"

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

	题名	作者	年代	出处	被引量
1	Interpolation,perservation and pebble games 显示文摘	Barwise J Van-Benthem J	1999	Symbolic Logic1999，64，4：	1
2	Semi-De Morgan algebras显示文摘	SANKAPPANAVAR H P	1987	The Journal of Symbolic Logic1987，52，3：	1
3	Three uses of the herbrand-gentzen theorem in relating model theory and proof theory显示文摘	WILLIAM C	1957	Journal of Symbolic Logic1957，22，3：	1
4	Quantales and noncommutative linear logic显示文摘	David N Yetter	1990	The Journal of Symbolic Logic1990，55，1：	1
5	Flat algebras and the translation of universal Horn logic to equational logic 显示文摘	JACKSON M	2008	doumal of Symbolic Logic2008，73，1：	1
6	A constructive proof of MeNanghton's theorem in infinite-valued logic显示文摘	Mundici D	1994	J Symbolic Logic1994，59，：	1
7	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
8	A Logical Analysis of Some Value Concepts 显示文摘	F B Fitch	1963	Journal of Symbolic Logic1963，，28：	1
9	Ordinal inequalities,transfinite induction,and reverse mathematics显示文摘	HIRST J L	1999	J Symbolic Logic1999，64，2：	1
10	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
11	On the calculus of relations 显示文摘	Yarski A	1941	The Journal of Symbolic Logic1941，6，3：	1
12	THE SET-THEORETIC MULTIVERSE显示文摘	JOEL DAVID HAMKINS	2012	The Review of Symbolic Logic2012，，3：	1
13	Logical connectives for intuitionistic propositional logic 显示文摘	McCullough D P	1971	The Journal of Symbolic Logic1971，，36：	1
14	Substructural fuzzy logics显示文摘	Metcalfe G Montagna F	2007	Journal of Symbolic Logic2007，72，3：	1
15	The relative efficiency of propositional proof systems显示文摘	COOK S RECKHOW R	1979	Symbolic Logic1979，44，：	1
16	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
17	Systems of Syntactic Analysis 显示文摘	CHOMSKY Noam	1953	The journal of symbolic logic1953，18，3：	1
18	Common knowledge logic and game logic显示文摘	Mamoru Kaneko	1999	The Journal of Symbolic Logic1999，64，：	1
19	Another Algorithm for Bracket Abstraction显示文摘	Turner D A	1979	The Journal of Symbolic Logic1979，44，2：	1
20	On the Logic of Theory Change:Partial Meet Contraction and Revision Functions显示文摘	Gardenfors P Makinson D		J Symbolic Logic 500，1985，：	1

返回顶部每页显示：

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

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

用户提示