J·拉莫斯。;J·拉斯加。;塞尔纳达斯,C。 重新审视保守的翻译。 (英语) Zbl 07695107号 J.菲洛斯。日志。 52,第3号,889-913(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramos}等人,J.Philos。日志。52,编号3,889--913(2023;Zbl 07695107) 全文: 内政部
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;沃尔特·卡尼埃利 证明逻辑及其会议组合中可判定性的约简技术。 (英语) Zbl 07379167号 牛市。符号。日志。 27,第1号,39-66(2021).MSC公司:03B25号 03B45号 03B20型 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,公牛。符号。日志。27,编号1,39--66(2021;Zbl 07379167) 全文: 内政部
詹姆·拉莫斯;乔安·拉斯加;克里斯蒂娜·瑟纳达斯;卢卡·维甘诺 基于事件的时间戳索赔逻辑。 (英语) Zbl 07377685号 J.日志。阿尔盖布。方法计划。 121,文章ID 100684,28 p.(2021).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ramos}等人,J.Log。阿尔盖布。方法程序。121,文章ID 100684,28 p.(2021;Zbl 07377685) 全文: 内政部
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿米尔卡尔·塞尔纳达斯 组合逻辑时保留可接受规则。 (英语) Zbl 1397.03049号 版本符号。日志。 9,第4期,641-663(2016). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,Rev.Symb。日志。9,第4号,641--663(2016;Zbl 1397.03049) 全文: 内政部 arXiv公司
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿米尔卡尔·塞尔纳达斯 可决定性路线图。 (英语) Zbl 1376.03039号 Koslow,Arnold(编辑)等人,《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham:Birkhäuser/Springer(ISBN 978-3-319-10192-7/pbk;978-3-3169-10193-4/电子书)。《通用逻辑研究》,423-445(2015)。MSC公司:03C10号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,in:通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham:Birkhäuser/Springer。423-445(2015;Zbl 1376.03039) 全文: 内政部
J·拉斯加。;塞尔纳达斯,A。;塞尔纳达斯,C。 纤维作为双向运动包括不对称组合。 (英语) 兹伯利1344.03031 双头螺栓日志。 102,第5期,1041-1074(2014).MSC公司:03B62号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,研究日志。102,第5号,1041--1074(2014;Zbl 1344.03031) 全文: 内政部
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;阿姆卡·塞尔纳达斯 不可靠连接词存在下的克雷格插值。 (英语) Zbl 1342.03022号 日志。Univers大学。 8,编号3-4,423-446(2014).MSC公司:03B48号 03B60号 03B70号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,日志。Univers大学。8、编号3--4、423--446(2014;Zbl 1342.03022) 全文: 内政部
塞尔纳达斯,C。;J·拉斯加。;塞尔纳达斯,A。 通过矩阵逻辑的乘积保持Craig插值。 (英语) Zbl 1284.03214号 J.应用。日志。 11,第3期,328-349(2013).MSC公司:03C40号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人,J.Appl。日志。11,第3号,328--349(2013;Zbl 1284.03214) 全文: 内政部
乔安·拉斯加;Wafik Boulos的Lotfallah;克里斯蒂娜·瑟纳达斯 有限可加测度上几乎所有量化的完备性和插值。 (英语) Zbl 1295.03022号 数学。日志。问:。 59,编号4-5,286-302(2013).MSC公司:03C80号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,数学。日志。问59,编号4--5,286--302(2013;Zbl 1295.03022) 全文: 内政部
J·拉斯加。;塞尔纳达斯,A。;塞尔纳达斯,C。 导入逻辑:保持稳健性和完整性。 (英语) Zbl 1345.03052号 双头螺栓日志。 101,第1期,117-155(2013).MSC公司:03B62号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,研究日志。101,第1号,117--155(2013;Zbl 1345.03052) 全文: 内政部
乔安·拉斯加;阿米尔卡尔·塞尔纳达斯;克里斯蒂娜·瑟纳达斯 导入逻辑。 (英语) Zbl 1280.03033号 双头螺栓日志。 100,第3期,545-581(2012).MSC公司:03B62号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,研究日志。100,第3号,545--581(2012;Zbl 1280.03033) 全文: 内政部
塞尔纳达斯,A。;塞尔纳达斯,C。;J·拉斯加。 关于组合连接词。 (英语) Zbl 1280.03035号 日志。Univers大学。 5,第2期,205-224(2011).MSC公司:03B62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas}等人,日志。Univers大学。5,编号2205-224(2011年;兹bl 1280.03035) 全文: 内政部
乔安·拉斯加;沃尔特·卡尼埃利;克里斯蒂娜·瑟纳达斯 通过翻译进行插值。 (英语) Zbl 1178.03043号 数学。日志。问:。 55,第5期,515-534(2009).MSC公司:03C40号 03B22号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,数学。日志。问55,第5号,515--534(2009;Zbl 1178.03043) 全文: 内政部
乔安·拉斯加 通过复杂性分析消除切割的充分条件。 (英语) Zbl 1145.03033号 Ann.纯粹应用。逻辑 149,编号1-3,81-99(2007).MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga},Ann.纯粹应用。逻辑149,编号1--3,81-99(2007;Zbl 1145.03033) 全文: 内政部
塞尔纳达斯,C。;维甘诺,L。;J·拉斯加。;塞尔纳达斯,A。 作为标签的真值:标签演绎的一般方法。 (英语) Zbl 1181.03025号 J.应用。非类别。日志。 13,编号3-4,277-315(2003).MSC公司:03B50号 03B60号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人,J.Appl。非类别。日志。13,编号3--4,277--315(2003;Zbl 1181.03025) 全文: 内政部
克里斯蒂娜·瑟纳达斯;乔安·拉斯加;沃尔特·A·卡尼利。 调制的谎言和崩溃问题。 (英语) Zbl 1043.03010号 J.塞姆。日志。 67,第4期,1541-1569(2002). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B22号 PDF格式BibTeX公司 XML格式引用 \textit{C.Sernadas}等人,J.Symb。日志。67,第4号,1541--1569(2002;Zbl 1043.03010) 全文: 内政部