×

找到58个文档(结果1-58)

由一组具有有限多个分量的有限BL-链生成的一些BL-代数的合并性质。 (英语) 兹伯利07728629

Glück,Roland(编辑)等人,《计算机科学中的关系和代数方法》。第20届国际会议,RAMiCS 2023,德国奥格斯堡,2023年4月3-6日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13896, 1-16 (2023).
MSC公司:第68季度
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

由有限多个分量的单链生成的各种BL-代数的合并性质。 (英语) Zbl 07670508号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 1-18 (2021).
MSC公司:第68季度
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

满足((2x)^2=2(x^2))的对合MTL代数的超状态。 (英语) Zbl 1484.06042号

Ju,Shier(编辑)等,非经典逻辑及其应用。2016年12月5日至9日,第八届逻辑与认知国际研讨会,WOLC 2016,中国广州。新加坡:斯普林格。日志。亚洲:研究日志。伦敦银行同业拆借利率。,1-14 (2020).
MSC公司:05年6月
PDF格式BibTeX公司 XML格式引用

导言。 (英语) 兹比尔1328.03023

Montagna,Franco(编辑),Petr Hájek关于数学模糊逻辑。查姆:施普林格(ISBN 978-3-319-06232-7/hbk;978-3-3169-06233-4/电子书)。《逻辑6的杰出贡献》,3-20(2015)。
MSC公司:03B52号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

关于Łukasiewicz、乘积和BL逻辑及其一阶扩展的强完整性的说明。 (英语) Zbl 1123.03012号

Aguzzoli,Stefano(编辑)等,非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林:施普林格出版社(ISBN 978-3-540-75938-6/pbk)。计算机科学课堂讲稿4460。人工智能课堂讲稿,247-274(2007)。
MSC公司:03B50号 03G25号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

用于产品逻辑和取消篮球逻辑的Rényi-Ulam游戏语义。 (英语) 兹伯利1136.03017

Aguzzoli,Stefano(编辑)等,非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林:施普林格出版社(ISBN 978-3-540-75938-6/pbk)。计算机科学课堂讲稿4460。人工智能课堂讲稿,231-246(2007)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

满足方程\(2(x^{2})=(2x)^{2{)\的各种Glivenko MTL代数中的自由代数。 (英语) 兹比尔1115.06006

双头螺栓日志。 83,编号1-3,157-181(2006); 勘误表同上105,第1号,227-228(2017)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

传记参考