阿萨多拉·法拉希 关联逻辑R的两个理论前线性扩展。 (英语) Zbl 1515.03113号 J.应用。非类别。日志。 31,第2期,154-179(2021)。MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fallahi},J.应用。非类别。日志。31,第2号,154--179(2021;Zbl 1515.03113) 全文: 内政部
赫里萨菲斯·哈托纳斯 子结构逻辑的模态翻译。 (英语) Zbl 1452.03057号 J.应用。非类别。日志。 30,第1期,16-49(2020年)。MSC公司:03B45号 03B47号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas},J.应用。非类别。日志。30、1号、16-49(2020;Zbl 1452.03057) 全文: 内政部 arXiv公司
赫里萨菲斯·哈托纳斯 格逻辑是(2-分类)剩余模态逻辑的一个片段。 (英语) Zbl 1444.03057号 J.应用。非类别。日志。 29,第2期,152-170(2019)。MSC公司:03B45号 06天50分 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas},J.应用。非类别。日志。29,第2号,152--170(2019;Zbl 1444.03057) 全文: 内政部
菲利普·巴尔比亚尼;乔丹·根瑟 \(KD)为空。 (英语) Zbl 1398.03086号 J.应用。非类别。日志。 27,第3-4号,196-205(2017)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{乔·根瑟},J.Appl。非类别。日志。27,编号3-4196-205(2017;兹bl 1398.03086) 全文: 内政部
新墨西哥州马亚茨基。;Odintsov,S.P。 关于次一致答案集语义的演绎基础。 (英语) Zbl 1400.68050号 J.应用。非类别。日志。 23,编号1-2,131-146(2013)。MSC公司:68N17号 03B53号 68问题55 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Mayatskiy}和\textit{S.P.Odintsov},J.Appl。非类别。日志。23、编号1--2、131-146(2013;Zbl 1400.68050) 全文: 内政部
帕维尔·施莱纳 自动检查非经典逻辑的属性。 (英语) Zbl 1186.03022号 J.应用。非类别。日志。 16,第3-4号,507-516(2006)。MSC公司:03B35型 03B45号 03B55号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.Schreiner},J.Appl.(《应用杂志》)。非类别。日志。16,编号3--4,507--516(2006;Zbl 1186.03022) 全文: 内政部