乔瓦娜·科尔西
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2018 【c3】 尤金尼奥·奥兰德利 , 乔瓦娜·科尔西 :
具有非刚性和非衍生项的量化模态逻辑的标记演算。 ARQNL@IJCAR 2018 : 64-78 2017 【c2】 尤金尼奥·奥兰德利 , 乔瓦娜·科尔西 :
可判定终端模态逻辑。 EUMAS/AT公司 2017 : 147-162 2016 【c1】 乔瓦娜·科尔西 , 尤金尼奥·奥兰德利 :
索引认识逻辑的序贯演算。 ARQNL@IJCAR 2016 : 21-35 2013 [公元12年] 乔瓦娜·科尔西 , 尤金尼奥·奥兰德利 :
自由量化认识逻辑。 Stud Logica公司 101 ( 6 ) : 1159-1183 ( 2013 )
2000 – 2009
2007 [公元11年] 乔瓦娜·科尔西 , 加布里埃尔·塔西 :
直觉主义逻辑摆脱了所有元规则。 J.塞姆。 日志。 72 ( 4 ) : 1204-1218 ( 2007 ) 2002 [公元10年] 乔瓦娜·科尔西 :
量化模态逻辑的统一完备性定理。 J.塞姆。 日志。 67 ( 4 ) : 1483-1510 ( 2002 )
1990 – 1999
1999 [公元9年] 乔瓦娜·科尔西 :
用图解法证明布尔定理。 Stud Logica公司 62 ( 2 ) : 163-176 ( 1999 ) 1993 [j8] 乔瓦娜·科尔西 :
正有理数的量化模态逻辑及其相关系统。 圣母院J.正式日志。 34 ( 2 ) : 263-283 ( 1993 ) 1992 [j7] 乔瓦娜·科尔西 :
Dummett LC量化的完备性定理及其一些推广。 Stud Logica公司 51 ( 2 ) : 317-336 ( 1992 )
1980 – 1989
1989 [j6] 乔瓦娜·科尔西 , 西尔维奥·吉拉尔迪 :
定向帧。 架构(architecture)。 数学。 日志。 29 ( 1 ) : 53-67 ( 1989 ) [j5] 乔瓦娜·科尔西 :
达米特LC量化的无切割微积分。 数学。 日志。 问:。 35 ( 4 ) : 289-301 ( 1989 ) 【j4】 乔瓦娜·科尔西 :
以一类具有嵌套域的连接模型为特征的逻辑。 Stud Logica公司 48 ( 1 ) : 15-22 ( 1989 ) 1988 [j3] 乔瓦娜·科尔西 :
带有刚性项的量化模态逻辑。 数学。 日志。 问:。 34 ( 三 ) : 251-259 ( 1988 ) 1987 [注2] 乔瓦娜·科尔西 :
具有严格含义的弱逻辑。 数学。 日志。 问:。 33 ( 5 ) : 389-406 ( 1987 ) 1986 [j1] 乔瓦娜·科尔西 :
达米特逻辑的语义树 信用证 . Stud Logica公司 45 ( 2 ) : 199-206 ( 1986 )
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)