亚历山大·杰拉西莫夫。 比较一阶无穷值Łukasiewicz逻辑和一阶有理Pavelka逻辑的计算。 (英语) Zbl 07706073号 日志。日志。菲洛斯。 32,编号2,269-318(2023).MSC公司:03B52号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Gerasimov},日志。日志。菲洛斯。32,编号2,269--318(2023;Zbl 07706073) 全文: 内政部
雅库布·Węgrecki;莱泽克·兰斯基 重新审视条件概率的条件解释。 (英语) Zbl 07706072号 日志。日志。菲洛斯。 32,第2号,261-268(2023).MSC公司:03B48号 60级05 PDF格式BibTeX公司 XML格式引用 \textit{J.Węgrecki}和\textit{L.Wron ski},Log。日志。菲洛斯。32,编号:2261-268(2023;Zbl 07706072) 全文: 内政部
杰里迈亚·乔文 免疫逻辑并不是那么免疫。 (英语) Zbl 07706071号 日志。日志。菲洛斯。 32,编号2,253-259(2023).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Joaquin},日志。日志。菲洛斯。32,第2号,253--259(2023;Zbl 07706071) 全文: 内政部
马塞洛·科尼格里奥(Marcelo E.Coniglio)。;Guilherme V.托莱多。 从不一致到不兼容。 (英语) Zbl 07706068号 日志。日志。菲洛斯。 32,编号2,181-216(2023).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}和\textit{G.V.Toledo},Log。日志。菲洛斯。32,编号2,181--216(2023;Zbl 07706068) 全文: 内政部 arXiv公司
理查德·扎克 Angell的AC的Fine矩阵和Ferguson矩阵之间的满射。 (英语) Zbl 07706067号 日志。日志。菲洛斯。 32,第2期,161-179(2023).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.Zach},日志。日志。菲洛斯。32,编号2,161--179(2023;Zbl 07706067) 全文: 内政部 arXiv公司
奥尔多·菲加洛·奥雷利亚诺;米盖尔·佩雷斯·加斯帕;埃弗拉多·贝尔塞纳斯 CG'3逻辑的命题和一阶版本的Fidel语义。 (英语) Zbl 07706066号 日志。日志。菲洛斯。 第141-158号第32页(2023年).MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Orellano}等人,《日志》。日志。菲洛斯。32,编号1,141--158(2023;Zbl 07706066) 全文: 内政部
科杜拉,托泽卡;马钦·伊扎克 一个可能定律的莱布尼兹逻辑——一个由Hintikka推动的形式框架,它阻碍了洛夫乔伊的充足性原则。 (英语) Zbl 07706065号 日志。日志。菲洛斯。 32,编号119-140(2023).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Świętorzecka}和\textit{M.Łyczak},Log。日志。菲洛斯。32,编号1,119--140(2023;Zbl 07706065) 全文: 内政部
肖恩·斯坦德弗 相关品种S5。 (英语) Zbl 07706062号 日志。日志。菲洛斯。 32,编号1,53-80(2023).MSC公司:03B47号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Standefer},日志。日志。菲洛斯。32,编号1,53--80(2023;Zbl 07706062) 全文: 内政部
托马斯·比加吉 对应物、本质和量化模态逻辑。 (英语) Zbl 07706061号 日志。日志。菲洛斯。 32,编号1,39-52(2023).MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bigaj},日志。日志。菲洛斯。32,编号1,39-52(2023;Zbl 07706061) 全文: 内政部
杰玛·罗伯斯;Sandra M.洛佩兹。;何塞·布兰科。 准一致和准完全四值逻辑PŁ4的关系语义。 (英语) Zbl 07634943号 日志。日志。菲洛斯。 31,4号,665-687(2022).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{G.Robles}等人,Log。日志。菲洛斯。31,第4号,665--687(2022;Zbl 07634943) 全文: 内政部
乔安·托兰佐·卡尔德龙;费德里科·佩洛斯 超越混合逻辑。 (英语) Zbl 07634942号 日志。日志。菲洛斯。 31,第4期,637-664(2022).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Calderón}和\textit{F.Pailos},日志。日志。菲洛斯。31,编号4,637--664(2022;Zbl 07634942) 全文: 内政部
埃德森·贝泽拉;乔治·文丘里 多值逻辑和二价形式。 (英语) Zbl 07634941号 日志。日志。菲洛斯。 31,第4号,611-636(2022).MSC公司:03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bezerra}和\textit{G.Venturi},日志。日志。菲洛斯。31,第4号,611--636(2022;Zbl 07634941) 全文: 内政部
佩隆,牛顿;恩里克·安图内斯 推理小说的四值逻辑框架。 (英语) Zbl 07634940号 日志。日志。菲洛斯。 31,编号4,579-610(2022).MSC公司:03B50号 03A05号 03B80号 00A64号 PDF格式BibTeX公司 XML格式引用 \textit{N.Peron}和\textit{H.Antunes},Log。日志。菲洛斯。31,第4号,579--610(2022;Zbl 07634940) 全文: 内政部
布鲁诺·拉莫斯·门登萨 游戏语义、量词和逻辑全能。 (英语) Zbl 07634939号 日志。日志。菲洛斯。 31,4号,557-578(2022).MSC公司:03B42型 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Mendonça},日志。日志。菲洛斯。31,第4号,557--578(2022;Zbl 07634939) 全文: 内政部
恩里克·安图内斯;达米安·斯穆克 专题介绍:逻辑及其解释。二、。 (英语) Zbl 07634937号 日志。日志。菲洛斯。 31,第4期,531-534(2022).MSC公司:00B15号机组 03-06 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{H.Antunes}和\textit{D.Szmuc},日志。日志。菲洛斯。31,第4号,531--534(2022;Zbl 07634937) 全文: 链接
Pawel,Pawlowski;拉斐尔·乌尔巴尼亚克 非正式可证明性、一阶BAT逻辑和走向非正式可证明的正式理论的第一步。 (英语) Zbl 07589386号 日志。日志。菲洛斯。 31,第3期,501-527(2022).MSC公司:03A05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{P.Pawlowski}和\textit{R.Urbaniak},日志。日志。菲洛斯。31,第3号,501--527(2022;Zbl 07589386) 全文: 内政部
雅罗斯拉夫·彼得鲁金 超连续框架中的S5型非标准模式。 (英语) Zbl 07589383号 日志。日志。菲洛斯。 31,3号,427-456(2022).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin},日志。日志。菲洛斯。31,编号3,427--456(2022;Zbl 07589383) 全文: 内政部
刘、莫;范洁;汉斯·范·迪特马什;Louwe B.Kuijer。 知识逻辑。 (英语) Zbl 07589382号 日志。日志。菲洛斯。 31,3号,385-426(2022).MSC公司:03B42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Liu}等人,Log。日志。菲洛斯。31,编号3,385--426(2022;Zbl 07589382) 全文: 内政部
罗伯特·范·罗伊;帕特里夏·米拉比尔 动态概率蕴涵。改进亚当斯的动态蕴涵关系。 (英语) Zbl 07589381号 日志。日志。菲洛斯。 31,3号,359-384(2022).MSC公司:03A05号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{R.van Rooij}和\textit{P.Mirabile},Log。日志。菲洛斯。31,编号3,359--384(2022;Zbl 07589381) 全文: 内政部
安东尼娜·孔科娃;玛丽亚·莱基多 三段论的内涵语义:莱布尼茨和瓦西里耶夫的共同点。 (英语) Zbl 07563621号 日志。日志。菲洛斯。 31,第2号,339-356(2022).MSC公司:03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Konkova}和\textit{M.Legeydo},日志。日志。菲洛斯。31,第2号,339--356(2022;Zbl 07563621) 全文: 内政部
费德里科·博姆;斯特凡诺·邦齐奥 批判态度的逻辑? (英语) Zbl 07563618号 日志。日志。菲洛斯。 31,第2号,261-288(2022).MSC公司:03A05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{F.Boem}和\textit{S.Bonzio},日志。日志。菲洛斯。31,第2号,261--288(2022;Zbl 07563618) 全文: 内政部
布鲁诺·达雷;玛丽埃拉·鲁宾;Paula Teijeiro 元推断副一致性。 (英语) Zbl 07563617号 日志。日志。菲洛斯。 31,第2期,235-260(2022).MSC公司:03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{B.Da Ré}等人,日志。日志。菲洛斯。31,编号2,235--260(2022;Zbl 07563617) 全文: 内政部
路易斯·埃斯特拉达·冈萨雷斯;亚历山德罗·佐丹尼;托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基;伊戈尔·塞德拉尔;安德鲁·特德 将这种关系融入语言中?关联逻辑方法综述。 (英语) Zbl 1496.03116号 日志。日志。菲洛斯。 第4期第30期第711-739页(2021).MSC公司:03B60号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Estrada-González}等人,日志。日志。菲洛斯。30,编号4,711--739(2021;Zbl 1496.03116) 全文: 内政部
亚历山德罗·佐丹尼 认知逻辑的相关语义。 (英语) Zbl 1496.03071号 日志。日志。菲洛斯。 30,第4号,681-709(2021).MSC公司:03B42型 PDF格式BibTeX公司 XML格式引用 \textit{A.Giordani},日志。日志。菲洛斯。30,第4号,681--709(2021;Zbl 1496.03071) 全文: 内政部
丹尼拉·格拉瓦尼科娃;马蒂奥·帕斯库奇 规范推理的替代语义,适用于后悔和责任。 (英语) Zbl 1496.03082号 日志。日志。菲洛斯。 30,编号4,653-679(2021).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Glavaničová}和\textit{M.Pascucci},日志。日志。菲洛斯。30,第4号,653--679(2021;Zbl 1496.03082) 全文: 内政部
弗朗西斯科·保利;米歇尔·普拉·巴尔迪;达米安·斯穆克 纯变量包含逻辑。 (英语) Zbl 1496.03117号 日志。日志。菲洛斯。 30,第4期,631-652(2021).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{F.Paoli}等人,日志。日志。菲洛斯。30,编号4,631--652(2021;Zbl 1496.03117) 全文: 内政部
马特乌斯·克洛诺夫斯基 相关逻辑的历史。起源和研究方向。 (英语) Zbl 1496.03004号 日志。日志。菲洛斯。 30,第4号,579-629(2021).MSC公司:03-03 03B60号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Klonowski},日志。日志。菲洛斯。30,第4号,579--629(2021;Zbl 1496.03004) 全文: 内政部
托马斯·贾穆·埃克;弗朗西斯科·保利 关联逻辑和关联语义。历史、哲学应用和一些技术问题。 (英语) Zbl 1496.03008号 日志。日志。菲洛斯。 30,第4号,563-577(2021).MSC公司:03-06 03B60号 03B45号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Jarmużek}和\textit{F.Paoli},Log。日志。菲洛斯。30,编号4,563--577(2021;Zbl 1496.03008) 全文: 内政部
亚历克斯·贝里科夫 皮尔士的三元逻辑及其(被忽视的)连接扩展。 (英语) Zbl 1517.03022号 日志。日志。菲洛斯。 30,第3期,535-559(2021).MSC公司:03B50号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Belikov},日志。日志。菲洛斯。30,编号3,535--559(2021;Zbl 1517.03022) 全文: 内政部
库尔比斯,尼尔斯;雅罗斯拉夫·彼得鲁金 一些非常有趣的多值逻辑的规范化。 (英语) Zbl 1517.03023号 日志。日志。菲洛斯。 30,编号3,493-534(2021).MSC公司:03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kurbis}和\textit{Y.Petrukhin},Log。日志。菲洛斯。30,编号3,493--534(2021;Zbl 1517.03023) 全文: 内政部
克劳迪奥·皮齐。 刘易斯平凡结果的句法分析。 (英语) Zbl 1517.03019号 日志。日志。菲洛斯。 30,第3期,417-434(2021年).MSC公司:03B45号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.E.A.Pizzi},日志。日志。菲洛斯。30,编号3,417--434(2021;Zbl 1517.03019) 全文: 内政部
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金 带有Tarski、Kuratowski和Halmos运算符的模态多晶格逻辑。 (英语) Zbl 1517.03016号 日志。日志。菲洛斯。 30,编号3,385-415(2021).MSC公司:03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{O.Grigoriev}和\textit{Y.Petrukhin},日志。日志。菲洛斯。30,编号3,385--415(2021;Zbl 1517.03016) 全文: 内政部
安德烈亚斯·费尔斯塔德 逻辑虚无主义和“prem”的逻辑。 (英语) Zbl 1517.03026号 日志。日志。菲洛斯。 30,编号2,311-325(2021).MSC公司:03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fjellstad},日志。日志。菲洛斯。30,编号2,311-325(2021;兹bl 1517.03026) 全文: 内政部
亚历山德拉·巴甫洛娃 最少逻辑的对话游戏。 (英语) Zbl 1517.03040号 日志。日志。菲洛斯。 30,第2号,281-309(2021).MSC公司:03财年03 03B53号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pavlova},日志。日志。菲洛斯。30,第2号,281--309(2021;Zbl 1517.03040) 全文: 内政部
库尔比斯,尼尔斯 直觉主义正自由逻辑中的明确描述。 (英语) Zbl 1517.03010号 日志。日志。菲洛斯。 30,第2号,327-358(2021).MSC公司:03B20型 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kurbis},日志。日志。菲洛斯。30,编号2,327--358(2021;Zbl 1517.03010) 全文: 内政部 arXiv公司
奥利弗·威廉·塔顿-伯恩 图解逻辑的语义和完整性。 (英语) Zbl 1517.03029号 日志。日志。菲洛斯。 30,第2号,227-280(2021).MSC公司:03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{O.W.Tatton-Brown},日志。日志。菲洛斯。30,第2号,227--280(2021;Zbl 1517.03029) 全文: 内政部
沃尔特·卡尼埃利。;马塞洛·科尼格里奥(Marcelo E.Coniglio)。 三值次协调集理论的扭曲值模型。 (英语) 兹比尔1517.03039 日志。日志。菲洛斯。 30,第2期,187-226(2021).MSC公司:03E70型 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Carnielli}和\textit{M.E.Coniglio},Log。日志。菲洛斯。30,第2号,187--226(2021;Zbl 1517.03039) 全文: 内政部 arXiv公司
奥兰德利,尤金尼奥 非正规模态逻辑和道义逻辑的序列演算和插值。 (英语) Zbl 1517.03018号 日志。日志。菲洛斯。 30,第1号,139-183(2021).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlandelli},日志。日志。菲洛斯。30,编号1,139--183(2021;Zbl 1517.03018) 全文: 内政部 arXiv公司
费德里科·佩洛斯 不相交逻辑。 (英语) Zbl 1517.03025号 日志。日志。菲洛斯。 30,第1号,109-137(2021).MSC公司:03B50号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{F.Pailos},日志。日志。菲洛斯。30,编号1,109--137(2021;Zbl 1517.03025) 全文: 内政部
埃德森·贝泽拉;乔治·文丘里 最小道义逻辑的非标准Kripke语义。 (英语) Zbl 1487.03034号 日志。日志。菲洛斯。 30,第1期,97-107(2021). 审核人:Xavier Parent(维也纳) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bezerra}和\textit{G.Venturi},日志。日志。菲洛斯。30,编号1,97--107(2021;Zbl 1487.03034) 全文: 内政部
马钦·伊扎克 用于改变知识的模态逻辑(mathsf{LEC}),用增长的语言表示。 (英语) Zbl 1486.03036号 日志。日志。菲洛斯。 30,编号1,39-59(2021). 审核人:埃里克·马丁(悉尼) MSC公司:03B42型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Łyczak},日志。日志。菲洛斯。30,编号1,39-59(2021;Zbl 1486.03036) 全文: 内政部
贾里德·米尔森 刺激剂的可解演算。 (英语) Zbl 1517.03033号 日志。日志。菲洛斯。 30,编号1,3-37(2021).MSC公司:03B70号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.Millson},日志。日志。菲洛斯。30,编号1,3--37(2021;Zbl 1517.03033) 全文: 内政部 arXiv公司
布鲁诺·达雷;Paula Teijeiro 酸奶、咖喱和合适的型号。 (英语) Zbl 1478.03006号 日志。日志。菲洛斯。 29,第4号,593-614(2020).MSC公司:03A05号 03B52号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{B.Da Ré}和\textit{P.Teijeiro},日志。日志。菲洛斯。29,第4号,593--614(2020;Zbl 1478.03006) 全文: 内政部
穆拉利·拉马钱德兰 奇肖姆的模态悖论和对应理论。 (英语) Zbl 1478.03040号 日志。日志。菲洛斯。 第4号第29页,第571-592页(2020年).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ramachandran},日志。日志。菲洛斯。29,第4号,571--592(2020;Zbl 1478.03040) 全文: 内政部
塞尔吉奥·加尔文;亚历山德罗·佐丹尼 关于存在和本质的经典逻辑。 (英语) Zbl 1478.03007号 日志。日志。菲洛斯。 29,第4期,541-570(2020年).MSC公司:03A05号 03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{S.Galvan}和\textit{A.Giordani},日志。日志。菲洛斯。29,第4号,541--570(2020;Zbl 1478.03007) 全文: 内政部
丹尼拉·格拉瓦尼科娃;马蒂奥·帕斯库奇 对规范冲突的现实看法。 (英语) Zbl 1478.03037号 日志。日志。菲洛斯。 29,第3期,447-462(2020年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Glavaničová}和\textit{M.Pascucci},日志。日志。菲洛斯。29,第3号,447--462(2020;Zbl 1478.03037) 全文: 内政部
托本·布吕纳 一阶错误可靠性测试中的错误回答:混合逻辑形式化。 (英语) Zbl 1478.03024号 日志。日志。菲洛斯。 29,第3期,415-445(2020年).MSC公司:03B42型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Braüner},日志。日志。菲洛斯。29,编号3,415-445(2020;兹bl 1478.03024) 全文: 内政部
克里斯托弗·斯坦斯沃尔德 认知谦虚的一些形式语义学。 (英语) Zbl 1478.03029号 日志。日志。菲洛斯。 29,第3期,381-413(2020年).MSC公司:03B42型 PDF格式BibTeX公司 XML格式引用 \textit{C.Steinsvold},日志。日志。菲洛斯。29,第3号,381--413(2020;Zbl 1478.03029) 全文: 内政部
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基 严格意义上的形式逻辑。语义和表格方法。 (英语) Zbl 1478.03038号 日志。日志。菲洛斯。 29,第3期,335-380(2020年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Jarmużek}和\textit{M.Klonowski},Log。日志。菲洛斯。29,第3号,335--380(2020;Zbl 1478.03038) 全文: 内政部
安德烈·朱特 类比推理的辩护独特的. (英语) Zbl 1478.03008号 日志。日志。菲洛斯。 29,第2期,259-309(2020年).MSC公司:03A05号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Juthe},日志。日志。菲洛斯。29,第2号,259--309(2020;Zbl 1478.03008) 全文: 内政部
贾努斯·丘西乌拉 关于系统CB\(^1\)和准一致性结石的一个格。 (英语) Zbl 1478.03053号 日志。日志。菲洛斯。 29,第2期,223-237(2020年).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Ciuciura},日志。日志。菲洛斯。29,第2号,223--237(2020;Zbl 1478.03053) 全文: 内政部
科杜拉,托泽卡;马钦·伊扎克 具有超补充公理的Mereology。对Jan F.Drewnowski未出版手稿的重建。 (英语) Zbl 1478.03014号 日志。日志。菲洛斯。 29,第2期,189-211(2020).MSC公司:03A05号 03B60号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{K.Świętorzecka}和\textit{M.Łyczak},Log。日志。菲洛斯。29,第2号,189--211(2020;Zbl 1478.03014) 全文: 内政部
克劳迪奥·埃尔科尔·安东尼奥·皮齐 经典条件逻辑框架中的显式条件。 (英语) Zbl 1478.03039号 日志。日志。菲洛斯。 29,第2期,161-187(2020).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{C.E.A.Pizzi},日志。日志。菲洛斯。29,第2号,161--187(2020;Zbl 1478.03039) 全文: 内政部
尼西姆·弗朗西兹 多连接逻辑。 (英语) Zbl 1478.03054号 日志。日志。菲洛斯。 29,第1期,143-157(2020).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},日志。日志。菲洛斯。29,第1号,143--157(2020;Zbl 1478.03054) 全文: 内政部
托马斯·斯科拉 隐含逻辑、相关性和可反驳性。 (英语) Zbl 1478.03045号 日志。日志。菲洛斯。 29,第1期,第19-33页(2020年).MSC公司:03B47号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{T.Skura},日志。日志。菲洛斯。29,第1号,19-33(2020;Zbl 1478.03045) 全文: 内政部
彼得·库利基;罗伯特·特吕普兹 根据表面义务判断行为。自动驾驶汽车的案例。 (英语) Zbl 1458.68154号 日志。日志。菲洛斯。 28,第4期,767-787(2019).MSC公司:68时01分 03B45号 03B50号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Kulicki}和\textit{R.Trypuz},日志。日志。菲洛斯。28,第4号,767--787(2019;Zbl 1458.68154) 全文: 内政部
艾哈迈德·卡里米 时间逻辑中雅布罗悖论的句法证明。 (英语) Zbl 1458.03011号 日志。日志。菲洛斯。 28,第4期,753-765(2019).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Karimi},日志。日志。菲洛斯。28,第4号,753--765(2019;Zbl 1458.03011) 全文: 内政部
奥列格·格里戈里耶夫;雅罗斯拉夫·彼得鲁金 超连续S5演算的多格模拟。 (英语) 兹比尔1458.03012 日志。日志。菲洛斯。 28,第4号,683-730(2019).MSC公司:03B45号 03B50号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{O.Grigoriev}和\textit{Y.Petrukhin},日志。日志。菲洛斯。28,编号4683-730(2019;兹bl 1458.03012) 全文: 内政部
谢尔盖·奥丁佐夫。;丹尼尔·斯科特;海因里希·瓦辛 连接词和模态逻辑的可定义性FDE公司. (英语) Zbl 1458.03015号 日志。日志。菲洛斯。 28,第4期,631-659(2019).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Odintsov}等人,日志。日志。菲洛斯。28,第4号,631--659(2019;Zbl 1458.03015) 全文: 内政部
耶鲁大学维斯 正则条件逻辑的连接扩展。 (英语) Zbl 1458.03018号 日志。日志。菲洛斯。 28,第3号,611-627(2019).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Weiss},日志。日志。菲洛斯。28,第3号,611--627(2019;Zbl 1458.03018) 全文: 内政部
海因里希·瓦辛;马提亚斯·优特胡伯 连接条件逻辑。一、。 (英语) Zbl 1458.03017号 日志。日志。菲洛斯。 28,第3号,567-610(2019).MSC公司:03B45号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{H.Wansing}和\textit{M.Unterhuber},日志。日志。菲洛斯。28,编号3567-610(2019;兹bl 1458.03017) 全文: 内政部
大森,Hitoshi 走向连接逻辑中两种方法之间的桥梁。 (英语) Zbl 1458.03016号 日志。日志。菲洛斯。 第3期第28期,第553-566页(2019年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{H.Omori},日志。日志。菲洛斯。28,第3号,553--566(2019;Zbl 1458.03016) 全文: 内政部
沃尔夫冈·伦岑 莱布尼茨的一致性定律和关联逻辑的哲学基础。 (英语) Zbl 1458.03009号 日志。日志。菲洛斯。 28,第3期,537-551(2019).MSC公司:03A05号 03B05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.Lenzen},日志。日志。菲洛斯。28,第3号,537--551(2019;Zbl 1458.03009) 全文: 内政部
安德烈亚斯·卡普斯纳 谦逊的联系。 (英语) Zbl 1458.03014号 日志。日志。菲洛斯。 28,第3号,513-536(2019).MSC公司:03B45号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kapsner},日志。日志。菲洛斯。28,第3号,513--536(2019;Zbl 1458.03014) 全文: 内政部
诺里希罗·卡米德 双经典连接逻辑及其模态扩展:删减、完备性和对偶性。 (英语) Zbl 1458.03013号 日志。日志。菲洛斯。 第3481-511号第28页(2019年).MSC公司:03B45号 03B50号 03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。日志。菲洛斯。28,第3号,481--511(2019;Zbl 1458.03013) 全文: 内政部
斯宾塞·约翰斯顿 就其本身而言情态与自然蕴涵——罗伯特·基尔沃德比的关联逻辑。 (英语) Zbl 1458.03004号 日志。日志。菲洛斯。 28,第3号,449-479(2019).MSC公司:03-03 03B45号 01A35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Johnston},日志。日志。菲洛斯。28,第3号,449--479(2019;Zbl 1458.03004) 全文: 内政部
托马斯·贾穆·埃克;雅切克·马林诺夫斯基 布尔连接逻辑:语义和表方法。 (英语) Zbl 1458.03024号 日志。日志。菲洛斯。 28,第3期,427-448(2019).MSC公司:03B60号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Jarmużek}和\textit{J.Malinowski},Log。日志。菲洛斯。28,第3号,427--448(2019;Zbl 1458.03024) 全文: 内政部
尼西姆·弗朗西兹 相关连接逻辑。 (英语) Zbl 1458.03019号 日志。日志。菲洛斯。 28,第3号,409-425(2019).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},日志。日志。菲洛斯。28,第3号,409--425(2019;Zbl 1458.03019) 全文: 内政部
托马斯·麦考利·弗格森 具有可构造错误的算术的不一致模型(和无限模型)。 (英语) Zbl 1458.03023号 日志。日志。菲洛斯。 28,第3号,389-407(2019).MSC公司:03B53号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Ferguson},日志。日志。菲洛斯。28,第3号,389--407(2019;Zbl 1458.03023) 全文: 内政部
大森,Hitoshi;海因里希·瓦辛 连接逻辑。概述和当前趋势。 (英语) Zbl 1458.03005号 日志。日志。菲洛斯。 28,第3号,371-387(2019).MSC公司:03-06 03B45号 03B47号 03B53号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Omori}和\textit{H.Wansing},日志。日志。菲洛斯。28,第3号,371--387(2019;Zbl 1458.03005) 全文: 内政部
路易斯·埃斯特拉达·冈萨雷斯 关于Béziau关于LP的“相当平凡定理”的简要说明。 (英语) Zbl 1477.03090号 日志。日志。菲洛斯。 28,第2号,355-361(2019).MSC公司:03B53号 03B50号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Estrada-González},日志。日志。菲洛斯。28,编号2,355--361(2019;Zbl 1477.03090) 全文: 内政部
达米安·斯穆克。 次协调弱Kleene逻辑的认知解释。 (英语) Zbl 1452.03070号 日志。日志。菲洛斯。 28,第277-330号(2019). 审核人:Albert Hoogewijs(性别) MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Szmuc},日志。日志。菲洛斯。28,第2号,277--330(2019;Zbl 1452.03070) 全文: 内政部
马钦·特卡奇克;托马斯·贾穆·埃克 JerzyŁos位置演算和时态逻辑的起源。 (英语) Zbl 1443.03010号 日志。日志。菲洛斯。 28,第2号,259-276(2019). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03B44号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tkaczyk}和\textit{T.Jarmużek},Log。日志。菲洛斯。28,第2号,259--276(2019;Zbl 1443.03010) 全文: 内政部
雅罗斯拉夫·彼得鲁金;瓦西里·沙金 通过对应分析实现强Kleene逻辑及其二进制扩展的自动证明搜索。 (英语) Zbl 1446.03055号 日志。日志。菲洛斯。 28,第2期,223-257(2019).MSC公司:03B50号 03B35型 03财年03 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin}和\textit{V.Shangin},Log。日志。菲洛斯。28,第2号,223--257(2019;Zbl 1446.03055) 全文: 内政部
马吉德·阿里扎德;阿里·比巴克 直觉逻辑中稳定公式的注记。 (英语) Zbl 1453.03001号 日志。日志。菲洛斯。 28,第2期,209-222(2019). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alizadeh}和\textit{A.Bibak},日志。日志。菲洛斯。28,第2号,209--222(2019;Zbl 1453.03001) 全文: 内政部
劳埃德·亨伯斯通 监督、依赖、分离。 (英语) Zbl 1477.03052号 日志。日志。菲洛斯。 28,第1期,3-135页(2019年).MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},日志。日志。菲洛斯。28,编号1,3--135(2019;兹bl 1477.03052) 全文: 内政部
弗兰克·曾克 逻辑、推理、论证:来自野外的见解。 (英语) Zbl 1456.03019号 日志。日志。菲洛斯。 27,第4号,421-451(2018).MSC公司:03A05号 03B65号 03-03 01A61号 PDF格式BibTeX公司 XML格式引用 \textit{F.Zenker},日志。日志。菲洛斯。27,第4号,421--451(2018;Zbl 1456.03019) 全文: 内政部
吉尔曼·佩耶特 规范一致性:xstit账户。 (英语) Zbl 1456.03037号 日志。日志。菲洛斯。 27,第3号,375-413(2018).MSC公司:03B45号 03A05号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{G.Payette},日志。日志。菲洛斯。27,第3号,375--413(2018;Zbl 1456.03037) 全文: 内政部
弗罗德·阿尔弗森·比约达尔 所有属性都是神圣的,或者上帝存在——神圣的论题及其本体论论证。 (英语) Zbl 1436.03022号 日志。日志。菲洛斯。 27,第3号,329-350(2018).MSC公司:03A05号 03B45号 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Björdal},日志。日志。菲洛斯。27,第3号,329--350(2018;Zbl 1436.03022) 全文: 内政部
帕韦·乌普科夫斯基;Ondrej Majer;米夏尔·佩利什;马吕斯·乌尔班斯基 认知色情搜索场景。 (英语) Zbl 1456.03031号 日志。日志。菲洛斯。 27,第3号,301-328(2018).MSC公司:03B42型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{P.Łupkowski}等人,日志。日志。菲洛斯。27,第3号,301-328(2018;Zbl 1456.03031) 全文: 内政部
拉克拉夫斯克,吉伊 范畴和模态范畴陈述的存在意义和关系。 (英语) Zbl 1456.03038号 日志。日志。菲洛斯。 27,第3号,271-300(2018).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.拉克拉夫斯克},Log。日志。菲洛斯。27,第3号,271--300(2018;Zbl 1456.03038) 全文: 内政部
亚当·特雷布斯 亚相容逻辑中反驳相关方法的推广。 (英语) Zbl 1412.03011号 日志。日志。菲洛斯。 27,第2期,235-261(2018). 审核人:亚历山大·科斯塔·莱特(巴西利亚) MSC公司:03B53号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Trybus},日志。日志。菲洛斯。27,No.2,235--261(2018;Zbl 1412.03011) 全文: 内政部
马丁、本 为双重性辩护:对贝齐奥和特卡奇克的答复。 (英语) Zbl 1456.03050号 日志。日志。菲洛斯。 27,第2号,205-233(2018).MSC公司:03B53号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{B.Martin},日志。日志。菲洛斯。27,第2号,205--233(2018;Zbl 1456.03050) 全文: 内政部
安娜·玛丽亚·卡尔琴斯卡 最小\(\mathcal R\)逻辑的最大值。 (英语) 兹比尔1456.03053 日志。日志。菲洛斯。 27,第2期,193-203(2018).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Karczewska},日志。日志。菲洛斯。27,第2号,193--203(2018;Zbl 1456.03053) 全文: 内政部
谢尔盖·德罗比舍维奇 关于显示负面模式。 (英语) Zbl 1456.03036号 日志。日志。菲洛斯。 27,第2期,161-192(2018).MSC公司:03B45号 03B20型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{S.Drobyshevich},日志。日志。菲洛斯。27,第2号,161--192(2018;Zbl 1456.03036) 全文: 内政部
路易吉·帕沃内 普兰廷加的血性主义和简单的量化模态逻辑。 (英语) Zbl 1403.03035号 日志。日志。菲洛斯。 27,第2期,151-160(2018). 审核人:David Makinson(伦敦) MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Pavone},日志。日志。菲洛斯。27,第2号,151--160(2018;Zbl 1403.03035) 全文: 内政部
雅罗斯拉夫·彼得鲁金 四值正则逻辑和单调逻辑的自然演绎。 (英语) 兹比尔1456.03048 日志。日志。菲洛斯。 27,第1号,53-66(2018).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin},日志。日志。菲洛斯。27,编号1,53-66(2018;兹bl 1456.03048) 全文: 内政部
丹尼尔·Rönnedal 时间伦理二元道义逻辑与反义务悖论。 (英语) Zbl 1456.03034号 日志。日志。菲洛斯。 27,第1期,第3-52页(2018年).MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal},日志。日志。菲洛斯。27、第1、3--52号(2018;Zbl 1456.03034) 全文: 内政部
戴维·里普利 模糊是一种融合。 (英语) Zbl 1417.03096号 日志。日志。菲洛斯。 26,第1期,115-135(2017).MSC公司:03A05号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ripley},日志。日志。菲洛斯。26,第1号,115--135(2017;Zbl 1417.03096) 全文: 内政部
米查·马卡西 某种形式的保护主义。 (英语) Zbl 1417.03194号 日志。日志。菲洛斯。 26,第1期,63-77(2017).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{M.Maka-si},日志。日志。菲洛斯。26,编号1,63--77(2017;Zbl 1417.03194) 全文: 内政部
杰拉德·奥尔文;威廉·哈里森。;托马斯·雷诺兹 分布式关系逻辑。 (英语) 兹比尔1417.03223 日志。日志。菲洛斯。 26,第1期,第19-61页(2017年).MSC公司:03B70号 03B15号机组 03G15年 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Allwein}等人,日志。日志。菲洛斯。26,编号1,19-61(2017;兹bl 1417.03223) 全文: 内政部
格雷格·雷斯塔尔 一级蕴涵、对称和悖论。 (英语) Zbl 1419.03026号 日志。日志。菲洛斯。 26,第1期,第3-18页(2017年).MSC公司:03B53号 03B47号 03B50号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Restall},日志。日志。菲洛斯。26,第1号,第3--18号(2017;Zbl 1419.03026) 全文: 内政部
马修·维达尔 “即使”条件的组合语义。 (英语) Zbl 1417.03220号 日志。日志。菲洛斯。 26,第2期,237-276(2017).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{M.Vidal},日志。日志。菲洛斯。26,第2号,237--276(2017;Zbl 1417.03220) 全文: 内政部
亚历山大·卡彭科;娜塔莉亚·托莫娃 博赫瓦尔的三值逻辑和文字并行:它们的格和函数等价。 (英语) Zbl 1477.03074号 日志。日志。菲洛斯。 第207-235号第26页(2017年).MSC公司:03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Karpenko}和\textit{N.Tomova},日志。日志。菲洛斯。26,第2号,207--235(2017;Zbl 1477.03074) 全文: 内政部
雅罗斯拉夫·彼得鲁金 三值正则逻辑的自然演绎。 (英语) Zbl 1417.03181号 日志。日志。菲洛斯。 26,第2期,197-206(2017).MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Petrukhin},日志。日志。菲洛斯。26,第2号,197--206(2017;Zbl 1417.03181) 全文: 内政部
科德斯,莫里茨;弗里德里希·雷蒙特 自然演绎线性计算中的注释和言外表达。 (英语) Zbl 1417.03129号 日志。日志。菲洛斯。 26,第2期,163-196(2017).MSC公司:03B22号 03B65号 03财年03 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Cordes}和\textit{F.Reimuth},日志。日志。菲洛斯。26,No.2,163--196(2017;Zbl 1417.03129) 全文: 内政部
伊万诺·齐亚德利 问题含义=解决条件。 (英语) Zbl 1417.03210号 日志。日志。菲洛斯。 26,第3期,383-416(2017).MSC公司:03B65号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Ciardelli},日志。日志。菲洛斯。26,第3号,383--416(2017;Zbl 1417.03210) 全文: 内政部
米夏尔·佩利什 色情认知逻辑。 (英语) 兹伯利1417.03141 日志。日志。菲洛斯。 26,第3期,357-381(2017).MSC公司:03B42型 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{M.Peliš},日志。日志。菲洛斯。26,第3号,357--381(2017;Zbl 1417.03141) 全文: 内政部
安德烈·维希·涅夫斯基 广义蕴涵。 (英语) Zbl 1417.03221号 日志。日志。菲洛斯。 26,第3号,321-356(2017).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wi-si niewski},日志。日志。菲洛斯。26,第3号,321--356(2017;Zbl 1417.03221) 全文: 内政部
帕韦·乌普科夫斯基 基于IEL的正式教程对话系统。 (英语) Zbl 1417.03217号 日志。日志。菲洛斯。 26,第3期,289-320(2017).MSC公司:03B65号 68T27型 68立方英尺 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{P.Łupkowski},日志。日志。菲洛斯。26,第3号,289--320(2017;Zbl 1417.03217) 全文: 内政部