乔治·舒姆
人员信息
优化列表
1990 – 1999
1990 [j19] 乔治·F·舒姆 :
{□,→}-逻辑的数目。 数学。 日志。 问:。 36 ( 6 ) : 517-518 ( 1990 ) [公元18年] 乔治·舒姆 , 斯图尔特·夏皮罗 :
表达完整性和可决定性。 圣母院J.正式日志。 31 ( 4 ) : 576-579 ( 1990 )
1980 – 1989
1989 [公元17年] 乔治·F·舒姆 :
模态逻辑的一些紧性结果。 圣母院J.正式日志。 30 ( 2 ) : 285-290 ( 1989 ) 1988 [公元16年] 乔治·舒姆 :
S4的非正规扩展数。 圣母院J.正式日志。 29 ( 1 ) : 106-108 ( 1988 ) 1986 [公元15年] 乔治·舒姆 :
模态逻辑中的一些插值失败。 圣母院J.正式日志。 27 ( 1 ) : 108-110 ( 1986 ) 1981 [公元14年] 乔治·舒姆 :
模态逻辑中的有界属性。 数学。 日志。 问:。 27 ( 13-14 ) : 197-200 ( 1981 )
1970 – 1979
1979 [j13] 乔治·舒姆 , 罗伊·埃德尔斯坦 :
无负模态逻辑。 数学。 日志。 问:。 25 ( 13-18 ) : 281-288 ( 1979 ) 1978 [公元12年] 乔治·舒姆 :
S3的不完全非正规扩张。 J.塞姆。 日志。 43 ( 2 ) : 211-212 ( 1978 ) [公元11年] 乔治·舒姆 :
放 K(K) 取而代之。 圣母院J.正式日志。 19 ( 4 ) : 623-628 ( 1978 ) 1975 [公元10年] 乔治·舒姆 :
S5的Wajsberg正规型。 J.菲洛斯。 日志。 4 ( 4 ) : 357-360 ( 1975 ) [公元9年] 乔治·舒姆 :
S4的析取扩张与Goldblatt的一个猜想。 数学。 日志。 问:。 21 ( 1 ) : 81-86 ( 1975 ) [j8] 乔治·舒姆 :
纯蕴涵微积分的Henkin式完全性证明。 圣母院J.正式日志。 16 ( 三 ) : 402-404 ( 1975 ) [j7] 乔治·舒姆 :
关于偏好逻辑的评论。 圣母院J.正式日志。 16 ( 4 ) : 509-510 ( 1975 ) 1974 [j6] 乔治·舒姆 :
S3.02=S3.03。 圣母院J.正式日志。 15 ( 1 ) : 147-148 ( 1974 ) [j5] 乔治·舒姆 :
K(K) 和 Z轴 . 圣母院J.正式日志。 15 ( 2 ) : 295-297 ( 1974 ) 1971 【j4】 乔治·舒姆 :
索波辛斯基四个模态问题的解。 圣母院J.正式日志。 12 ( 三 ) : 335-340 ( 1971 )
1960 – 1969
1969 [j3] 乔治·舒姆 :
关于B.索波辛斯基的一些公开问题。 圣母院J.正式日志。 10 ( 三 ) : 261-262 ( 1969 ) [注2] 乔治·舒姆 :
关于D.C.梅金森和B.Sobocinnski的模态系统。 圣母院J.正式日志。 10 ( 三 ) : 263-265 ( 1969 ) 1968 [j1] 乔治·舒姆 :
关于功率集结构的注释。 圣母院J.正式日志。 9 ( 4 ) : 303-304 ( 1968 )