兹兹拉夫·迪万
人员信息
优化列表
1980 – 1989
1987 [j3] 兹兹拉夫·迪万 :
一种命题演算公理化的方法。 数学。 日志。 问:。 33 ( 1 ) : 65-68 ( 1987 ) 1986 [注2] 兹兹拉夫·迪万 :
经典命题演算中哥德尔-马尔科夫定理的一个新变体及其对我论文的修正:“模态逻辑S的必要性连接 5 是元逻辑的”。 圣母院J.正式日志。 27 ( 4 ) : 551-555 ( 1986 ) 1983 [j1] 兹兹拉夫·迪万 :
模态逻辑S5的必要性连接词是元逻辑的。 圣母院J.正式日志。 24 ( 三 ) : 410-414 ( 1983 )