维托·格里蒂;塞尔吉奥·马塞利诺;翁贝托·里维奇奥 公理化日常话语的逻辑。 arXiv公司:2405.03543 预打印,arXiv:2405.03543[math.LO](2024)。MSC公司:03B22号 BibTeX公司 引用 \textit{V.Greati}等人,“普通话语逻辑公理化”,预印本,arXiv:2405.03543[math.LO](2024) 全文: arXiv公司 OA许可证
维托·格里蒂;朱塞佩·格雷科;塞尔吉奥·马塞利诺;亚历山德拉·帕尔米吉亚诺;翁贝托·里维奇奥 生成三值命题逻辑的证明系统。 arXiv公司:2401.03274 预打印,arXiv:2401.03274[math.LO](2024)。MSC公司:03B50号 BibTeX公司 引用 \textit{V.Greati}等人,“生成三值命题逻辑的证明系统”,Preprint,arXiv:2401.03274[math.LO](2024) 全文: arXiv公司 OA许可证
维托·格里蒂;塞尔吉奥·马塞利诺;翁贝托·里维奇奥 弱Kleene逻辑的有限Hilbert系统。 arXiv公司:2401.03265 预打印,arXiv:2401.03265[math.LO](2024)。MSC公司:03B22号 BibTeX公司 引用 \textit{V.Greati}等人,“弱Kleene逻辑的有限希尔伯特系统”,预印本,arXiv:2401.03265[math.LO](2024) 全文: 内政部 arXiv公司 OA许可证
塞尔吉奥·马塞利诺;翁贝托·里维奇奥 带否定的分配格逻辑的有限公理化性。 (英语) Zbl 1515.03227号 日志。J.IGPL公司 31,第3号,510-533(2023).MSC公司:03G10年 06B20号 03G20年 06时30分 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcelino}和\textit{U.Rivieccio},Log。J.IGPL 31,第3号,510--533(2023年;Zbl 1515.03227) 全文: 内政部 arXiv公司
卡洛斯·卡莱罗;塞尔吉奥·马塞利诺;翁贝托·里维奇奥 关于结构蕴涵关系和非确定性语义的更多定理。 arXiv:2310.02952 预打印,arXiv:2310.02952[math.LO](2023)。 BibTeX公司 引用 \textit{C.Caleiro}等人,“关于结构蕴涵关系和非确定性语义的更多定理”,Preprint,arXiv:2310.02952[math.LO](2023) 全文: arXiv公司 OA许可证
乔尔·戈麦斯;维托·格里蒂;塞尔吉奥·马塞利诺;乔安·马科斯;翁贝托·里维奇奥 关于完备超定代数的逻辑。 arXiv:2106.09883 预打印,arXiv:2106.09883[math.LO](2021)。 BibTeX公司 引用 \textit{J.Gomes}等人,“关于完美超定代数的逻辑”,预印本,arXiv:2106.09883[math.LO](2021) 全文: 内政部 arXiv公司 OA许可证
塞尔吉奥·马塞利诺;翁贝托·里维奇奥 对合Stone代数的逻辑。 arXiv:2102.05455 预打印,arXiv:2102.05455[math.LO](2021)。MSC公司:03B50号 03G10年 03G27号 03B35型 BibTeX公司 引用 \textit{S.Marcelino}和\textit{U.Rivieccio},“对合Stone代数的逻辑”,预印本,arXiv:2102.05455[math.LO](2021) 全文: arXiv公司 OA许可证
塞尔吉奥·马塞利诺;卡洛斯·卡莱罗;翁贝托·里维奇奥 即插即用否定词。 (英语) Zbl 1439.03064号 Carnielli,Walter(编辑)等人,《矛盾,从一致性到不一致性》。查姆:斯普林格。趋势日志。螺柱日志。天秤座。47, 307-322 (2018).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcelino}等人,《趋势日志》。螺柱日志。伦敦银行同业拆借利率。47307--322(2018年;Zbl 1439.03064) 全文: 内政部
卡洛斯·卡莱罗;塞尔吉奥·马塞利诺;翁贝托·里维奇奥 具有有限价值的特征。 (英语) Zbl 1397.03026号 模糊集系统。 345, 113-125 (2018).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人,模糊集系统。345113-125(2018年;Zbl 1397.03026) 全文: 内政部
塞尔吉奥·马塞利诺;翁贝托·里维奇奥 局部表格\(\neq\)局部有限。 (英语) 兹比尔1420.03023 日志。Univers大学。 11,第3期,383-400(2017).MSC公司:03B22号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{S.Marcelino}和\textit{U.Rivieccio},Log。通用。11,第3号,383--400(2017;Zbl 1420.03023) 全文: 内政部