安德烈亚·德·多梅尼科;阿里·法贾米;克里希纳·马诺卡尔;亚历山德拉·帕尔米吉亚诺;马蒂亚·帕内蒂埃;王晓龙 义务和许可,代数。 arXiv:2403.03148 预印本,arXiv:2403.03148[math.LO](2024)。 BibTeX公司 引用 \textit{A.De Domenico}等人,“义务和权限,代数上”,预打印,arXiv:2403.03148[math.LO](2024) 全文: arXiv公司 OA许可证
安德烈亚·德·多梅尼科;阿里·法贾米;克里希纳·马诺卡尔;亚历山德拉·帕尔米吉亚诺;马蒂亚·帕内蒂埃;王晓龙 自扩展逻辑的义务和权限。 arXiv:2402.07336 预打印,arXiv:2402.07336[math.LO](2024)。MSC公司:03G27号 BibTeX公司 引用 \textit{A.De Domenico}等人,“自扩展逻辑的义务和权限”,Preprint,arXiv:2402.07336[math.LO](2024) 全文: arXiv公司 OA许可证
安德烈亚·德·多梅尼科;阿里·法贾米;克里希纳·马诺卡尔;亚历山德拉·帕尔米吉亚诺;玛蒂亚·帕内蒂尔;王晓龙 从属代数作为输入/输出逻辑的语义环境。 (英语) Zbl 1521.03032号 Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13468, 326-343 (2022). 审核人:David Makinson(伦敦) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.De Domenico}等人,Lect。注释计算。科学。13468,326--343(2022;Zbl 1521.03032) 全文: 内政部 arXiv公司 链接