Krystyna,Mruczek Nasieniewska先生;雅罗斯拉夫·彼得鲁金;瓦西里·尚金 关于Jaśkowski讨论逻辑的准完备版本。 (英语) Zbl 07865509号 牛市。第节。日志。,大学后勤部。 53,第1号,第29-61页(2024年).MSC公司:03B53号 03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Mruczek-Nasienewska}等人,公牛。第节。日志。,大学后勤部。53,编号1,29--61(2024;Zbl 07865509) 全文: 内政部
亚历克斯·贝里科夫;雅罗斯拉夫·彼得鲁金 准确无误的逻辑符合感染性逻辑。 (英语) Zbl 1486.03047号 J.应用。非类别。日志。 30,第2期,93-122(2020年); 更正同上30,第2号,I-II(2020)。MSC公司:03B50号 03B47号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Belikov}和\textit{Y.Petrukhin},J.Appl。非类别。日志。30,编号2,93-122(2020;Zbl 1486.03047) 全文: 内政部
雅罗斯拉夫·彼得鲁金;瓦西里·沙金 一级蕴涵的对应分析和自动证据搜索。 (英语) Zbl 1485.03029号 欧洲数学杂志。 第6期,第4期,1452-1495(2020).MSC公司:03B35型 68伏15 03B50 03B47号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin}和\textit{V.Shangin},欧洲数学杂志。6,第4号,1452--1495(2020;Zbl 1485.03029) 全文: 内政部
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金 超连续S5演算的多格模拟。 (英语) Zbl 1458.03012号 日志。日志。菲洛斯。 28,第4号,683-730(2019).MSC公司:03B45号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Grigoriev}和\textit{Y.Petrukhin},日志。日志。菲洛斯。28,第4号,683--730(2019;Zbl 1458.03012) 全文: 内政部
雅罗斯拉夫·彼得鲁金 四值正则逻辑和单调逻辑的自然演绎。 (英语) Zbl 1456.03048号 日志。日志。菲洛斯。 27,第1号,53-66(2018).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin},日志。日志。菲洛斯。27,编号1,53-66(2018;兹bl 1456.03048) 全文: 内政部
雅罗斯拉夫·佩特鲁钦一世。 Fitting四值推广Kleene逻辑的自然演绎。 (英语) Zbl 1385.03032号 日志。Univers大学。 11,第4期,525-532(2017). 审核人:马特奥·比安奇(米兰) MSC公司:03B50号 03B22号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{Y.I.Petrukhin},日志。通用。11,第4号,525--532(2017;Zbl 1385.03032) 全文: 内政部