卡齐米尔兹·斯威里多维奇
人员信息
附属: 波兰波兹南Adam Mickiewicz大学
SPARQL查询
优化列表
2010 – 2019
2016 [j6] 詹姆斯·拉弗瑞 , 卡齐米尔兹·斯威里多维奇 :
关联逻辑中的结构完整性。 Stud Logica公司 104 ( 三 ) : 381-387 ( 2016 )
2000 – 2009
2008 [j5] Kazimierz Swirydowicz公司 :
相关逻辑存在一组不可数的表前扩展 R(右) 这个集合的每个逻辑都是由各种有限高度生成的。 J.塞姆。 日志。 73 ( 4 ) : 1249-1270 ( 2008 ) 2006 【j4】 Kazimierz Swirydowicz公司 :
正相关逻辑R+扩张格的上半部分。 报表数学。 日志。 40 : 3-13 ( 2006 )
1990 – 1999
1999 [j3] Kazimierz Swirydowicz公司 :
相关逻辑R正好存在两个极大严格相关扩张。 J.塞姆。 日志。 64 ( 三 ) : 1125-1154 ( 1999 ) 1995 [注2] Kazimierz Swirydowicz公司 :
关于相关逻辑R的极大扩张的一个注记。 数学报告。 日志。 29 : 19-33 ( 1995 ) 1990 [j1] 卡齐米尔兹·斯威里多维奇 :
带公理的正则模态逻辑 □ ⊤ → □□ ⊤. Stud Logica公司 49 ( 2 ) : 171-174 ( 1990 )