彼得·辛图拉;Paula Menchón;卡莱斯·诺格拉 模态多值逻辑的一般框架语义。 (英语) Zbl 1418.03121号 软计算。 23,第7号,2233-2241(2019).MSC公司:03B52号 03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,《软计算》。23,第7号,2233--2241(2019;Zbl 1418.03121) 全文: DOI程序
彼得·辛图拉;JoséGil-Férez;托马索·莫拉希尼;弗朗西斯科·保利 结果关系的抽象方法。 (英语) Zbl 1445.03076号 版本符号。日志。 12,第2号,331-371(2019). 审核人:米克洛斯·费伦齐(布达佩斯) MSC公司:03G27号 03B22号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Rev.Symb。日志。12,第2号,331--371(2019;Zbl 1445.03076) 全文: DOI程序 arXiv公司
彼得·辛图拉;丹尼萨·迪亚科内斯库;乔治·梅特卡夫 格值逻辑的Skolemization和Herbrand定理。 (英语) Zbl 1472.03022号 西奥。计算。科学。 768, 54-75 (2019).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Theor。计算。科学。768,54-75(2019;Zbl 1472.03022) 全文: DOI程序 链接
彼得·辛图拉;Carles诺格拉 模态多值逻辑的邻域语义。 (英语) Zbl 1397.03027号 模糊集系统。 345, 99-112 (2018).MSC公司:03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera},模糊集系统。345、99-112(2018年;Zbl 1397.03027) 全文: DOI程序 链接
彼得·辛图拉;卡莱斯·诺格拉;乔纳斯·罗格 从克里普克到模态模糊逻辑的邻域语义。 (英语) Zbl 1455.03028号 Carvalho,Joao Paulo(编辑)等人,《基于知识的系统中的信息处理和不确定性管理》。第16届国际会议,2016年IPMU,荷兰埃因霍温,2016年6月20日至24日。诉讼程序。第二部分。查姆:斯普林格。Commun公司。计算。信息科学。611, 95-107 (2016).MSC公司:03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Commun。计算。信息科学。611195--107(2016;Zbl 1455.03028) 全文: DOI程序
彼得·辛图拉;罗斯蒂斯拉夫·霍奇克;卡莱斯·诺格拉 非结合子结构逻辑及其半线性扩展:公理化和完备性。 (英语) Zbl 1335.03023号 版本符号。日志。 6,第3期,394-423(2013). 审核人:杰玛·罗伯斯(莱昂) MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Rev.Symb。日志。6,第3号,394--423(2013;Zbl 1335.03023) 全文: DOI程序
彼得·辛图拉;乔治·梅特卡夫 直觉主义逻辑含意否定片断中的可容许规则。 (英语) Zbl 1225.03011号 Ann.纯粹应用。逻辑 162,第2期,162-171(2010).MSC公司:03B20型 03B22号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{G.Metcalfe},Ann.纯应用。逻辑162,No.2,162--171(2010;Zbl 1225.03011) 全文: DOI程序
彼得·辛图拉;卡莱斯·诺格拉 隐含(半线性)逻辑。I: 新的层次结构。 (英语) Zbl 1196.03013号 架构(architecture)。数学。逻辑 49,第4期,417-446(2010).MSC公司:03B22号 03B47号 03B52号 03G27号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera},拱门。数学。逻辑49,No.4,417--446(2010;Zbl 1196.03013) 全文: DOI程序
彼得·辛图拉;埃里希·彼得·克莱门特;拉德科·梅西亚尔;米尔科·纳瓦拉 带有附加对合否定的模糊逻辑。 (英语) Zbl 1189.03028号 模糊集系统。 161,第3号,390-411(2010). 审核人:米夏·巴琴斯基(卡托维兹) MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,《模糊集系统》。161,第3号,390--411(2010;Zbl 1189.03028) 全文: DOI程序
彼得·辛图拉;彼得·哈耶克 基于三角范数的谓词模糊逻辑。 (英语) Zbl 1200.03020号 模糊集系统。 161,第3期,311-346(2010). 审核人:布鲁内拉·格拉(瓦雷斯) MSC公司:03B52号 03B50号 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{P.Hájek},模糊集系统。161、3号、311--346(2010;Zbl 1200.03020) 全文: DOI程序
彼得·辛图拉;弗朗西斯科·埃斯特瓦;琼·吉斯佩特;路易斯·戈多;佛朗哥·蒙塔格纳;卡莱斯·诺格拉 基于t-范数的模糊逻辑的区别代数语义:方法和代数等价性。 (英语) Zbl 1168.03052号 Ann.纯粹应用。逻辑 160,第1期,53-81(2009). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:03G25号 03B50号 03B52号 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Ann.Pure Appl。逻辑160,No.1,53--81(2009;Zbl 1168.03052) 全文: DOI程序
彼得·辛图拉;彼得·哈耶克;罗斯蒂斯拉夫·霍奇克 模糊逻辑的形式系统及其碎片。 (英语) Zbl 1140.03010号 Ann.纯粹应用。逻辑 150,编号1-3,40-65(2007). 审核人:托马斯·维特莱恩(维也纳) MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}等人,Ann.Pure Appl。逻辑150,编号1--3,40-65(2007;Zbl 1140.03010) 全文: DOI程序
彼得·辛图拉;乔治·梅特卡夫 模糊逻辑的范式:一种证明理论方法。 (英语) Zbl 1114.03016号 架构(architecture)。数学。逻辑 46,编号5-6,347-363(2007).MSC公司:03B52号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{G.Metcalfe},拱门。数学。逻辑46,No.5--6347--363(2007;Zbl 1114.03016) 全文: DOI程序
利波·Běhounek;彼得·辛图拉 模糊逻辑是链的逻辑。 (英语) Zbl 1106.03019号 模糊集系统。 157,第5期,604-610(2006).MSC公司:03B52号 03A05号 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{L.Běhounek}和\textit{P.Cintula},模糊集系统。157、5号、604--610(2006;Zbl 1106.03019) 全文: DOI程序
彼得·辛图拉 关于Ł(\Pi\)-代数定义的注记。 (英语) Zbl 1086.06008号 软计算。 9,第8期,575-578(2005).MSC公司:05年6月 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula},软计算。9,第8号,575--578(2005;Zbl 1086.06008) 全文: DOI程序