朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺 线性逻辑正确显示。 (英语) Zbl 07672672号 ACM事务处理。计算。日志。 24,第2期,第13号论文,56页(2023年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}和\textit{A.Palmigiano},ACM Trans。计算。日志。24,第2号,第13号论文,56页(2023;Zbl 07672672) 全文: 内政部 arXiv公司
陈金生;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯 正确显示计算的语法完整性。 (英语) Zbl 1505.03121号 ACM事务处理。计算。日志。 23,第4条,第23条,第46页(2022年).MSC公司:03年3月 05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Chen}等人,ACM Trans。计算。日志。23,第4号,第23条,第46页(2022年;Zbl 1505.03121) 全文: 内政部 arXiv公司
朱塞佩·格雷科;梁飞;M.Andrew Moshier先生;亚历山德拉·帕尔米吉亚诺 正确显示Semi De Morgan逻辑。 (英语) Zbl 07339949号 螺柱日志。 109,编号1,1-45(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}等人,研究日志。109,编号1,1-45(2021;Zbl 07339949) 全文: 内政部 arXiv公司
朱塞佩·格雷科;梁飞;亚历山德拉·帕尔米吉亚诺;翁贝托·里维奇奥 正确显示双位逻辑。 (英语) Zbl 1423.03079号 模糊集系统。 363, 138-155 (2019).MSC公司:03B52号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Greco}等人,《模糊集系统》。363138-155(2019年;Zbl 1423.03079) 全文: 内政部 arXiv公司 链接
弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 (英语) Zbl 1494.03069号 螺柱日志。 107,第2期,247-282(2019).MSC公司:03B55型 05年3月 03年3月 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Lauridsen},研究日志。107,第2号,247--282(2019;Zbl 1494.03069) 全文: 内政部
谢尔盖·德罗比舍维奇 拆开结构连接词或没有显示属性的生活。 (英语) Zbl 1457.03056号 J.菲洛斯。日志。 48,第2号,279-303(2019).MSC公司:03B60号 05年3月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Drobyshevich},J.Philos。日志。48,第2号,279--303(2019;Zbl 1457.03056) 全文: 内政部
诺伯特·格拉茨;尤金尼奥·奥兰代利 逻辑性、双线规则和模式。 (英语) 兹伯利07055413 螺柱日志。 107,第1号,85-107(2019).MSC公司:03B45号 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Gratzl}和\textit{E.Orlandelli},Stud.Log。107,编号1,85-107(2019;Zbl 07055413) 全文: 内政部 链接
贝尔科娃,玛尔塔;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;纳乔姆·维恩伯格 资源和能力的逻辑。 (英语) Zbl 1506.03065号 版本符号。日志。 11,编号2371-410(2018).MSC公司:03B42号 03B20型 03B60号 03B45号 05年3月 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人,Rev.Symb。日志。11,第2号,371--410(2018;Zbl 1506.03065) 全文: 内政部 arXiv公司
蝉蜕、阿加塔;尼古拉斯·加拉托斯;川崎捷瑞 代数证明理论:超序列和超复数。 (英语) Zbl 1422.03038号 Ann.纯粹应用。逻辑 168,第3号,693-737(2017).MSC公司:03B47号 03G25号 05年3月 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciabattoni}等人,Ann.Pure Appl。逻辑168,No.3,693--737(2017;Zbl 1422.03038) 全文: 内政部