数理逻辑报告 简短标题： 代表数学。逻辑 出版商： 克拉科夫贾杰伦大学 国际标准编号： 0137-2904; 2084-2589/e年 在线： http://www.ejournals.eu/rml/zakladka/74/http://rml.tcs.uj.edu.pl/issues.htm 评论： 期刊；索引封面；此日记账可开放访问。 编入索引的文档： 464出版物（自1973年起） 全部的 前5名最新问题 58（2023年） 57(2022) 56(2021) 55(2020) 54(2019) 53(2018) 52(2017) 51(2016) 50(2015) 49(2014) 48(2013) 47(2012) 46(2011) 45（2010年） 44(2009) 43(2008) 42(2007) 41(2006) 40(2006) 39（2005年） 38(2004) 37(2003) 36(2002) 35(2001) 34(2000) 33(1999) 32(1998) 31(1997) 30(1996) 29(1995) 28(1994) 27(1993) 26(1992) 25(1991) 24(1990) 23(1989) 22(1988) 21(1987) 20(1986) 19(1985) 18(1984) 17(1984) 16(1983) 15(1983) 14(1982) 13(1981) 12(1981) 11(1981) 10(1978) 8(1978) 9(1977) 7(1977) 6(1976) 5(1975) 4(1975) 三(1974) 2(1974) 1(1973) 全部的 前5名作者 19 安德烈·伦斯基 13 彼得·沃伊泰拉克 9 小野，Hiroakira 8 安德烈·比拉 8 Witold A.Pogorzelski。 7 沃伊切赫·Dzik 7 诺里希罗·卡米德 7 弗朗西斯科·保利 7 塔德乌兹·普鲁克纳尔 7 乔治·沃察达基斯 6 曼努埃尔·阿巴德 6 巴威·M·伊齐亚克。 6 托马斯·科瓦尔斯基 6 杰西·佩萨诺夫斯基 6 詹姆斯·拉弗瑞。 6 杰玛·罗伯斯 6 特奥多尔·圣皮昂 5 诺伯特·布伦纳 5 塞拉尼、塞尔吉奥·阿图罗 5 卡塔兹纳州Słomczynska 5 沃伊切赫苏雄 4 贾纳斯·Czelakowski 4 威瑟·迪奥比亚克 4 字体，Josep Maria 4 格罗兹基（Grodzki，Zdzisław） 4 乔安娜·格里吉尔 4 何塞·梅恩德斯。 4 罗伯特·肯尼思·梅耶 4 Pałasińska，卡塔日纳 4 理查德·西尔文 4 马雷克·托卡兹 4 van Alten，Clint J。 4 乔治·韦弗（George E.Weaver）。 三 威廉·约翰内斯·布洛克 三 Bugajska-Jaszczołt，比塔 三 何塞·路易斯·卡斯蒂格利奥尼 三 罗伯特·H·考恩。 三 迪亚斯·瓦雷拉，何塞·帕特里西奥 三 Dubikajtis，莱赫 三 理查德·爱泼斯坦。 三 阿尔多·维多利亚·菲加洛 三 罗兰·欣尼翁 三 拉蒙·詹萨纳 三 亚当·科拉尼 三 杰西·科塔斯 三 格热戈兹·马林诺夫斯基 三 Jerzy，麦加 三 大森，Hitoshi 三 Gianluca Paolini 三 马尔戈扎塔·波列布斯卡 三 托马斯·斯库拉。 三 斯坦尼斯劳·苏尔马。 三 Mitio Takano公司 三 埃瓦州扎内卡·比亚利 2 穆罕默德·阿默尔（Mohamed A.Amer）。 2 卡米拉·本多瓦 2 伯纳德，简 2 沃伊切赫·巴斯科夫斯基 2 埃瓦州卡宾斯卡 2 阿莫斯·卡彭特（Amos J.Carpenter）。 2 帕特里齐奥·辛蒂奥利 2 胡安·克莱门特·维达尔 2 克雷斯韦尔·麦克斯韦尔·约翰 2 Da Costa、Newton Carneiro Affonso 2 埃德尔西奥·德索萨（Edelcio G.de Souza）。 2 赫尔曼·迪什坎特 2 兹兹瓦夫·迪万 2 伊莎贝尔·M·A·费雷里姆。 2 埃尔南多·盖坦 2 乔治·乔治斯库 2 史蒂夫·吉安布罗内 2 罗伯托·吉安蒂尼 2 罗伯特·伊恩·戈德布拉特 2 托马斯·戈拉兹（Tomasz A.Gorazd）。 2 杰西·哈努塞克 2 乔治·E·休斯。 2 劳埃德·亨伯斯通 2 卡塔日娜·伊齐亚克 2 戴维·艾尔斯 2 Piotr S.Krzystek。 2 彼得亚·拉托查 2 玛丽娜·贝塔里兹·拉坦齐 2 安东尼奥·莱达 2 Włodzimierz Lesisz 2 皮埃尔路易吉·米纳里 2 莫伊塔巴·莫尼里 2 罗马人穆拉夫斯基 2 乔恩·穆齐奥（Jon C.Muzio）。 2 锡，佩尔科夫 2 安杰伊·皮特鲁斯扎克 2 托马斯·波·阿西克 2 让·波特 2 大卫·C·莱恩（David C.Rine）。 2 罗德里格斯，亚历山大·奥古斯托·马丁斯 2 Sagastume、Marta S。 2 赛义德·萨利希 2 弗朗西斯科·萨尔托 2 圣马汀，埃尔南·J。 2 乔治·舒姆。 2 彼得·迈克尔·舒斯特 …还有233位作者 全部的 前5名领域 419 数理逻辑与基础（03-XX） 91 阶、格、有序代数结构（06-XX） 56 一般代数系统（08-XX） 16 计算机科学（68至XX） 10 组合数学（05-XX） 10 一般拓扑结构（54至XX） 8 历史和传记（01-XX） 7 范畴理论；同调代数（18-XX） 4 总体主题；集合（00-XX） 4 群论与推广（20-XX） 三 场论和多项式（12-XX） 三 测量和集成（28-XX） 三 信息与通信理论、电路（94-XX） 2 数论（11-XX） 2 概率论与随机过程（60-XX） 2 量子理论（81-XX） 1 拓扑群、李群（22日至XX日） 1 几何形状（51至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 234出版物被引用1040中的次798文件 引用人▼ 年份▼ 模态逻辑的元数学。一、。 Zbl 0356.02016号 R.I.戈德布拉特。 41 1976 \（Q\）-后果操作。 Zbl 0759.03008号 格热戈兹·马林诺夫斯基 37 1990 作为模态运算符的否定。 兹比尔062603006 科斯塔·多森 29 1986 “实际”的逻辑。 Zbl 0389.03010号 约翰·克罗斯利。;劳埃德·亨伯斯通 27 1978 真理谓词的等式可定义性。 Zbl 1136.03011号 詹姆斯·拉弗瑞。 23 2006 中间谓词逻辑的模型扩张定理和克雷格插值定理。 Zbl 0519.03016号 小野，Hiroakira 22 1983 幂零最小逻辑的公理扩展。 兹比尔1053.03015 琼·吉斯佩尔·布拉索 22 2003 时态代数的种类。 Zbl 0941.03066号 托马斯·科瓦尔斯基 20 1998 正则Kleene逻辑的关联扩展的格。 Zbl 1308.03042号 娜塔莉亚·托莫娃 19 2012 偏序集和格的规范扩张和完备。 Zbl 1147.06005号 梅·盖尔克;希拉里·A·普里斯特利。 16 2008 直觉逻辑的完整句法特征。 Zbl 0809.03007号 托马斯·斯科拉 15 1989 一些Paralogic的嵌入和插值。命题案例。 Zbl 0954.03031号 迪德里克·巴滕斯;克里斯托夫·德·克莱尔克;娜塔莎·库托尼娜 15 1999 中间逻辑和析取性质。 Zbl 0308.02027号 安德烈·伦斯基 15 1973 中间谓词逻辑中的一些问题。 Zbl 0676.03016号 小野，Hiroakira 15 1987 关于矩阵的基数对直觉命题逻辑来说是非常充分的。 Zbl 0342.02011号 安德烈·伦斯基 14 1974 模态逻辑的元数学。二、。 Zbl 0356.02017号 R.I.戈德布拉特。 14 1977 中间逻辑中的属性（HD）。小野浩问题的部分解。 Zbl 0696.03009号 皮埃尔路易吉·米纳里;安德热伊·弗伦斯基 14 1988 不可约剩余半格和有限基簇。 Zbl 1156.06007号 尼古拉斯·加拉托斯;杰弗里·奥尔森。;詹姆斯·拉弗瑞。 12 2008 完全Fregean逻辑。 Zbl 1058.03016号 谢尔盖·巴比尼舍夫。 12 2003 梅德韦杰夫命题演算的结构完整性。 兹比尔0358.02024 塔德乌兹·普鲁克纳尔 11 1976 论蕴涵与否定逻辑中重言式的渐近密度。 Zbl 1098.03019号 马雷克·扎昂克 11 2005 关于同态像和分配近格的自由分配格扩张。 Zbl 1390.06008号 塞尔吉奥·塞拉尼;伊斯梅尔·卡洛米诺 11 2016 模态Tarski代数。 兹比尔1105.03069 塞拉尼、塞尔吉奥·阿图罗 10 2005 直觉模态逻辑和中间谓词逻辑之间的关系。 Zbl 0696.03007号 小野，Hiroakira;铃木，Nobu-Yuki 10 1988 关于拟MV代数和（sqrt'\）拟MV-代数的一些性质。三、。 Zbl 1213.06007号 托马斯·科瓦尔斯基;弗朗西斯科·保利 9 2010 关于前Heyting代数。 Zbl 1228.06003号 JoséL.Castiglioni。;Sagastume、Marta S。;圣马汀，埃尔南·J。 9 2010 充分充分的Gentzen系统和演绎定理。 Zbl 1004.03053号 字体，Josep Maria;拉蒙·詹萨纳;唐·皮戈齐 9 2001 指称语义：二元性和应用。 Zbl 1136.03010号 拉蒙·詹萨纳;亚历山德拉·帕尔米吉亚诺 9 2006 关于正规模态命题逻辑的M片段和L片段。 Zbl 0328.02012 杰西·佩萨诺夫斯基 8 1975 关于拟MV代数和（sqrt'\）拟MV-代数的一些性质。 Zbl 1174.06012号 弗朗西斯科·保利;安东尼奥·莱达;罗伯托·吉安蒂尼;赫克托·弗雷特斯 8 2009 剩余群胚的有限嵌入性。 Zbl 1156.06006号 马西耶·法鲁列夫斯基 8 2008 BL-代数和环在某些子结构逻辑中的统一。 Zbl 1156.03022号 沃伊切赫·Dzik 8 2008 直觉模态逻辑的关系语义和邻域语义。 兹比尔1320.03054 小岛贤介 8 2012 关于H.Friedman的一个问题及其T.Prucnal的解决方案。 Zbl 1053.03017号 彼得·沃伊泰拉克 7 2004 重新审视相对必要性。 Zbl 0519.03009号 汉伯斯通。 7 1981 最小为零的交换序幺半群中的剩余。 Zbl 0996.0304号 詹姆斯·拉弗瑞。;van Alten，Clint J。 7 2000 剩余格的多样性是由其有限的简单成员生成的。 Zbl 0991.06004号 托马斯·科瓦尔斯基;小野，Hiroakira 7 2000 二元代数相关问题的复杂性。 Zbl 1255.68081号 托马斯·戈拉兹（Tomasz A.Gorazd）。;雅切克·克扎茨科夫斯基 7 2011 关于具有代数化断言伴侣的基于半格的逻辑。 Zbl 1266.03073号 字体，Josep Maria 7 2011 部分类型理论基础。 Zbl 0488.03007号 蒂奇，帕维尔 7 1982 CW-代数的布尔积与伪补足。 Zbl 0741.06009号 安东尼·托伦斯 6 1989 石器致密化中的可分性。 Zbl 1379.54020号 鲍里斯·索博特 6 2015 \带否定的（n次m）值Łukasiewicz代数。 兹比尔1096.03076 克劳迪娅·桑扎。 6 2006 透明的统一问题。 Zbl 0865.08002号 安德烈·兰斯基 6 1995 维瑟命题逻辑结果关系的形式化。 Zbl 0947.03026号 胜美佐佐木 6 1999 安德烈·朗斯基猜想的句法证明。 兹伯利0849.03054 托马斯·科瓦尔斯基 6 1994 一级关联逻辑的语义。 Zbl 0804.03014号 弗朗西斯科·保利 6 1993 结构结果操作的结构完整性特征。 Zbl 0358.02063号 戴维·梅金森 6 1976 S5和一些相关系统中的插值。 Zbl 0361.02030号 乔治·舒姆。 6 1976 结石的可判定性。 Zbl 0378.02011号 曼努埃尔·M·菲德尔。 6 1978 相关模态逻辑与析取规则的完备性。 Zbl 1170.03011号 高弘·塞基 6 2009 变量分离特性的代数表征。 Zbl 1144.03040号 Hitoshi Kihara;小野，Hiroakira 6 2008 满足方程（（0至1）^*vee（0至一）^{**}约1）的半Heyting代数的簇。 Zbl 1272.06020号 曼努埃尔·阿巴德;胡安·曼纽尔·科内霍;迪亚斯·瓦雷拉，何塞·帕特里西奥 6 2011 依赖逻辑的代数。 Zbl 0651.03020号 理查德·爱泼斯坦。 6 1987 关于所有有限链生成的后继Heyting代数的簇。 Zbl 1228.06004号 JoséL.Castiglioni。;圣马丁，埃尔南·J。 5 2010 不完全中间逻辑的连续体。 Zbl 1031.03050号 塔德乌兹·利塔克 5 2002 一些中间谓词逻辑的析取性质。 Zbl 0537.03017号 中村忠雄 5 1983 关于超直觉谓词逻辑的一些结果。 Zbl 0568.03013号 小森，Yuichi 5 1983 关于广义\（I\）-代数和4值模态代数。 Zbl 0858.03062号 阿尔多·菲加洛五世。;保罗·兰迪尼 5 1995 RK的语义完整性。 Zbl 0804.03013号 埃德温·马雷斯（Edwin D.Mares）。 5 1992 走向蕴涵和条件句的一般语义理论。二、。改进的否定理论和命题同一性。 兹伯利0394.03028 理查德·劳特利;罗伯特·梅耶（Robert K.Meyer）。 5 1977 模态逻辑中无割计算的语义分析。 Zbl 1522.03058号 Mitio Takano公司 5 2018 直觉逻辑中通过命题量化定义的一元运算符。 Zbl 0464.03051号 乔治·克雷塞尔 5 1981 关于剩余格、pocrims和BCK-代数的有限嵌入性。 Zbl 0982.08500号 布洛克，W.J。;范阿尔滕，C.J。 5 2000 直觉命题逻辑某些片段的完备性程度。 Zbl 0312.02023号 安德烈·伦斯基 5 1974 矩阵Lukasiewicz代数。 Zbl 0348.02021号 沃伊切赫苏雄 5 1975 基于量子力学逻辑的一阶谓词演算。 Zbl 0356.02027号 赫尔曼·迪什坎特 5 1974 关联性和依赖性逻辑的证明方法。 Zbl 0651.03021号 沃尔特·A·卡尼利。 5 1987 在\（βN\）和\（^*N\）中的可除性。 Zbl 1446.54016号 鲍里斯·索博特 5 2019 双Heyting代数的判别器变种。 Zbl 1392.06007号 克里斯托弗·泰勒。 5 2016 分配代数上弱伪补Kleene代数的拓扑性。 Zbl 0780.06008号 安德热·森德尔夫斯基 4 1991 强否定子结构逻辑的规范模型构造。 Zbl 1027.03019号 诺里希罗·卡米德 4 2002 应用Prucnal替换的结构完整谓词逻辑链。 Zbl 1058.03013号 沃伊切赫·Dzik 4 2004 关联的“成为”和电子衍射的悖论。 Zbl 0393.03045号 赫尔曼·迪什坎特 4 1977 显示逻辑和gaggle理论。 兹比尔0858.03036 格雷格·雷斯塔尔 4 1995 具有伪补的分配格的拟簇数。 Zbl 0388.06009号 安德烈·伦斯基 4 1976 其结果关系不可有限公理化的有限矩阵。 Zbl 0391.03016号 阿拉斯代尔·厄克哈特 4 1977 直接完备偏序的一般扩张定理。 Zbl 1522.03205号 彼得·舒斯特;丹尼尔·韦塞尔 4 2018 论雅斯科夫斯基讨论命题演算公理的独立性。 Zbl 0459.03015号 格拉兹纳·阿切特利克;Dubikajtis，莱赫;埃尔兹别塔·杜德克;简·科尼奥尔 4 1981 S是建设性完成的。 Zbl 0897.03024号 弗朗西斯科·保利 4 1996 模态命题演算的演绎定理是按照莱蒙的方式形式化的。一、。 Zbl 0278.02016号 杰西·佩萨诺夫斯基 4 1973 走向蕴涵和条件句的一般语义理论。一： 具有正常连词和析取、异常否定和正常否定的系统。 Zbl 0314.02032号 理查德·劳特利;罗伯特·梅耶（Robert K.Meyer）。 4 1975 范畴抽象代数逻辑。完整模型、Frege系统和金属特性。 Zbl 1135.03034号 乔治·沃萨达基斯 4 2006 谓词公共知识逻辑的一些证明系统。 Zbl 1048.03013号 田中，吉知藤 4 2003 弱König引理、Brouwer扇形定理、De Morgan定律和相关选择。 Zbl 1325.03076号 约瑟夫·伯杰;石原、Hajime;彼得·舒斯特 4 2012 图里尼奇不动点定理和选择公理。 Zbl 0687.04003号 罗马曼卡 4 1988 一种次协调多值命题逻辑：（J_3）。 Zbl 0697.03017号 伊塔拉·M·L·D’Ottaviano。;理查德·爱泼斯坦。 4 1988 PBZ*-格：结构理论和子变种。 Zbl 1458.06004号 罗伯托·朱利安尼;克劳迪娅·穆雷桑;弗朗西斯科·保利 4 2020 实例化溢出。 Zbl 1403.03119号 布鲁诺·迪尼斯;吉尔达·费雷拉 4 2016 模态逻辑S4.3和S4.3Grz的无切割系统。 Zbl 0773.03014号 下村达也 三 1991 超图可满足性。 Zbl 0760.03003号 科恩，R.H。 三 1991 带有必要模态算子的希尔伯特代数。 Zbl 1355.03049号 塞尔吉奥·塞拉尼。;丹妮拉·蒙坦吉 三 2014 没有演绎定理的直觉逻辑的扩展：一些简单的例子。 Zbl 1098.03036号 劳埃德·亨伯斯通 三 2006 关于多元等式逻辑的完备性定理及霍尔代数与贝纳布理论的等价性。 Zbl 1096.03031号 胡安·克莱门特·维达尔;胡安·索尔维雷斯·图尔 三 2006 关于逻辑格的内容。二、。 Zbl 0526.03042号 沃伊切赫·Dzik 三 1982 一个有限但有限的非公理化矩阵的例子。 Zbl 0563.03011号 彼得·沃伊泰拉克 三 1984 关于直觉主义命题逻辑片段的无交换和收缩规则的拟变分语义。 Zbl 0946.03027号 范阿尔滕，C.J。;J.G.拉弗瑞。 三 1997 多维逻辑的蕴涵系统。 兹伯利0947.03010 阿列克谢·潘科（Alexej P.Pynko）。 三 1999 关于中间逻辑插值性质的备注。 Zbl 0419.03013号 斯坦尼斯劳·扎卓罗斯基 三 1978 两个正相关逻辑的决策程序。 Zbl 0432.03013号 亚历山大·克伦 三 1978 势无限的模型理论。 兹比尔1523.03015 马蒂亚斯·埃贝尔 1 2022 连续一阶理论的极大值定理。 Zbl 1529.03215号 纳撒内尔·阿克曼;玛丽·利亚·卡克 1 2022 PBZ*-格：结构理论和子变种。 Zbl 1458.06004号 罗伯托·吉安蒂尼;克劳迪娅·穆雷桑;弗朗西斯科·保利 4 2020 一种新的（ω）稳定平面。 Zbl 1485.03097号 Gianluca Paolini 2 2020 在\（βN\）和\（^*N\）中的可除性。 Zbl 1446.54016号 鲍里斯·索博特 5 2019 连续可约性：函数与关系。 Zbl 1529.03235号 卡梅罗、里卡多 三 2019 Borel设置没有完全重叠的翻译。 兹比尔1529.03252 安德烈·罗斯·阿诺夫斯基;萨拉、撒哈拉 1 2019 最大的高整流子序列。 Zbl 1529.08006号 内博伊沙·穆德林斯基 1 2019 关于一些同态齐次点线几何。 Zbl 1432.05023号 埃瓦州容加贝尔 1 2019 模态逻辑中无割计算的语义分析。 Zbl 1522.03058号 Mitio Takano公司 5 2018 有向完全偏序的一个一般扩张定理。 Zbl 1522.03205号 彼得·舒斯特;丹尼尔·韦塞尔 4 2018 不含较高弱真实度子集的集合。 Zbl 1522.03162号 帕特里齐奥·辛蒂奥利 1 2018 Wansing逻辑中的反驳。 Zbl 1420.03048号 托马斯·斯科拉 2 2017 认知博弈论中的一个非自我参照悖论。 兹比尔1420.03031 艾哈迈德·卡里米 1 2017 关于同态像和分配近格的自由分配格扩张。 Zbl 1390.06008号 塞尔吉奥·塞拉尼;伊斯梅尔·卡洛米诺 11 2016 双Heyting代数的判别器变种。 Zbl 1392.06007号 克里斯托弗·泰勒。 5 2016 实例化溢出。 Zbl 1403.03119号 布鲁诺·迪尼斯;吉尔达·费雷拉 4 2016 准相关三值逻辑RM3及其某些子逻辑缺乏可变共享特性。 Zbl 1400.03052号 杰玛·罗伯斯 2 2016 关于Wansing对Nelson逻辑的扩展的注释。修正了Wansing对Nelson逻辑的扩展的公理化。 Zbl 1391.03024号 大森，Hitoshi 1 2016 石器致密化中的可分性。 Zbl 1379.54020号 鲍里斯·索博特 6 2015 LTL某些变体的插值定理。 兹伯利1436.03123 诺里希罗·卡米德 1 2015 关于处处强可逻辑代数。 Zbl 1436.03324号 托马索·莫拉希尼 1 2015 带有必要模态算子的希尔伯特代数。 Zbl 1355.03049号 塞尔吉奥·塞拉尼。;丹妮拉·蒙坦吉 三 2014 关于拟MV代数和（sqrt{prime}）拟MV阿尔及利亚的一些性质。四、。 Zbl 1291.06002号 彼得·吉普森;安东尼奥·莱达;弗朗西斯科·保利 三 2013 克罗内克在当代数学中，将普通算术作为基础课程。 Zbl 1300.03002号 Yvon Gauthier 2 2013 扬科夫式公式和反驳系统。 Zbl 1322.03022号 亚历克斯·西特金 1 2013 正则Kleene逻辑的关联扩展的格。 Zbl 1308.03042号 娜塔莉亚·托莫娃 19 2012 直觉模态逻辑的关系语义和邻域语义。 Zbl 1320.03054号 小岛贤介 8 2012 弱König引理、Brouwer扇形定理、De Morgan定律和相关选择。 Zbl 1325.03076号 约瑟夫·伯杰;石原、Hajime;彼得·舒斯特 4 2012 二元代数相关问题的复杂性。 Zbl 1255.68081号 托马斯·戈拉兹（Tomasz A.Gorazd）。;雅切克·克扎茨科夫斯基 7 2011 关于具有代数化断言伴侣的基于半格的逻辑。 Zbl 1266.03073号 字体，Josep Maria 7 2011 满足方程（（0至1）^*vee（0至一）^{**}约1）的半Heyting代数的簇。 Zbl 1272.06020号 曼努埃尔·阿巴德;胡安·曼纽尔·科内霍;迪亚斯·瓦雷拉，何塞·帕特里西奥 6 2011 序列的逻辑。 Zbl 1261.03086号 诺里希罗·卡米德 1 2011 关于拟MV代数和\（\sqrt’\）拟MV代数的一些性质。三、。 Zbl 1213.06007号 托马斯·科瓦尔斯基;弗朗西斯科·保利 9 2010 关于前Heyting代数。 Zbl 1228.06003号 JoséL.Castiglioni。;Sagastume、Marta S。;圣马汀，埃尔南·J。 9 2010 关于所有有限链生成的后继Heyting代数的簇。 Zbl 1228.06004号 何塞·卡斯蒂廖尼。;圣马汀，埃尔南·J。 5 2010 在\（p\）-结果格上。 Zbl 1244.03047号 西门·弗兰科夫斯基 2 2010 自动化和计算亚一致推理：无收缩、解析和类型系统。 Zbl 1244.03093号 诺里希罗·卡米德 1 2010 多分类等式逻辑的句法和语义的双范畴框架。 Zbl 1243.03079号 胡安·维达尔气候;Juan Soliveres Tur公司 1 2010 一些局部表格逻辑与收缩和混合。 Zbl 1237.03015号 谢爱妮 1 2010 关于拟MV代数和（sqrt'\）拟MV-代数的一些性质。 Zbl 1174.06012号 弗朗西斯科·保利;安东尼奥·莱达;罗伯托·吉安蒂尼;赫克托·弗雷特斯 8 2009 相关模态逻辑与析取规则的完备性。 Zbl 1170.03011号 高弘·塞基 6 2009 范畴抽象代数逻辑：语法上可代数化的机构。 Zbl 1179.03070号 乔治·沃萨达基斯 2 2009 次极小逻辑和弱代数。 Zbl 1170.03327号 鲁道夫·埃尔托拉;玛尔塔Sagastume 2 2009 偏序集和格的正则扩张和完备。 Zbl 1147.06005号 梅·盖尔克;希拉里·普里斯特利（Hilary A.Priestley）。 16 2008 不可约剩余半格和有限基簇。 Zbl 1156.06007号 尼古拉斯·加拉托斯;杰弗里·奥尔森。;詹姆斯·拉弗瑞。 12 2008 剩余群胚的有限嵌入性。 Zbl 1156.06006号 马西耶·法鲁莱夫斯基 8 2008 BL-代数和环在某些子结构逻辑中的统一。 Zbl 1156.03022号 沃伊切赫·Dzik 8 2008 变量分离特性的代数表征。 Zbl 1144.03040号 Hitoshi Kihara;小野，Hiroakira 6 2008 换向器和残差的可加性。 Zbl 1147.06004号 贾纳斯·Czelakowski 2 2008 关于某些子结构逻辑的复杂性。 兹比尔1145.03011 沃伊切赫·巴斯科夫斯基 1 2008 S3的有限片段。 Zbl 1156.03020号 托马斯·科瓦尔斯基;约翰·斯莱尼 1 2008 关于渐开线产生的变化。 邮编1129.08002 詹姆斯·拉弗瑞。 三 2007 范畴抽象代数逻辑：原代数机构的强版本。 Zbl 1133.03044号 乔治·沃萨达基斯 1 2007 中间Gödel-Dummett逻辑中的纯等价命题公式。 Zbl 1145.03015号 卡塔兹纳州Słomczynska 1 2007 Profinite结构是有限结构超产物的收缩。 Zbl 1131.03012号 雨果·路易斯·玛丽亚诺;弗朗西斯科·米拉格里亚 1 2007 真理谓词的等式可定义性。 Zbl 1136.03011号 詹姆斯·拉弗瑞。 23 2006 指称语义：二元性和应用。 Zbl 1136.03010号 拉蒙·詹萨纳;亚历山德拉·帕尔米吉亚诺 9 2006 \具有否定的（n\times m\）-值的Łukasiewicz代数。 Zbl 1096.03076号 克劳迪娅·桑扎。 6 2006 范畴抽象代数逻辑。完整模型、弗雷格系统和金相属性。 Zbl 1135.03034号 乔治·沃萨达基斯 4 2006 没有演绎定理的直觉逻辑的扩展：一些简单的例子。 Zbl 1098.03036号 劳埃德·亨伯斯通 三 2006 关于多类等式逻辑的完备性定理以及Hall代数和Bénabou理论之间的等价性。 Zbl 1096.03031号 胡安·克莱门特·维达尔;Juan Soliveres Tur公司 三 2006 几乎是与模糊逻辑相关的最小变化。 Zbl 1136.03018号 加藤，优介;托马斯·科瓦尔斯基;Masaki上田 三 2006 与任意有限代数相关的有限等价Gentzen系统。 兹伯利1136.03035 安吉尔·J·吉尔。;乔尔迪·雷巴利亚托 2 2006 生成图和选择公理。 Zbl 1095.03045号 克里斯蒂安·德尔霍姆;玛丽安·莫里隆 1 2006 论蕴涵与否定逻辑中重言式的渐近密度。 Zbl 1098.03019号 马雷克·扎昂克 11 2005 模态Tarski代数。 Zbl 1105.03069号 塞拉尼、塞尔吉奥·阿图罗 10 2005 插值和三值逻辑。 Zbl 1107.03022号 卡米拉·本多娃 2 2005 精细化=审慎监管局？关于W.W.Tait的论文。 Zbl 1100.03008号 马蒂亚斯·希恩;卡尔·乔治·尼伯格尔 1 2005 三元关系语义中的最小否定。 兹比尔1105.03022 杰玛·罗伯斯;何塞·梅恩德斯。;弗朗西斯科·萨尔托 1 2005 关于H.Friedman的一个问题及其T.Prucnal的解决方案。 Zbl 1053.03017号 彼得·沃伊泰拉克 7 2004 应用Prucnal替换的结构完整谓词逻辑链。 Zbl 1058.03013号 沃伊切赫·Dzik 4 2004 共对角化代数的一个表示定理。 Zbl 1062.03063号 沃伊切赫Buszkowski 2 2004 等效逻辑（经过25年的调查）。 Zbl 1053.03002号 贾纳斯·Czelakowski 1 2004 幂零最小逻辑的公理扩展。 Zbl 1053.03015号 琼·吉斯佩尔·布拉索 22 2003 完全Fregean逻辑。 Zbl 1058.03016号 谢尔盖·巴比尼舍夫。 12 2003 谓词公共知识逻辑的一些证明系统。 Zbl 1048.03013号 田中，吉知藤 4 2003 轻微不可言喻的基数和超宇宙。 Zbl 1047.03043号 奥利维尔·埃瑟 2 2003 一阶逻辑适用于每个宇宙（包括空宇宙）。 Zbl 1053.03007号 Dubikajtis，莱赫 1 2003 具有可分辨自同构的布尔代数。 Zbl 1051.06008号 曼努埃尔·阿巴德;迪亚斯·瓦雷拉，何塞·帕特里西奥;玛尔塔·赞德 1 2003 每一个自由二重化格都是半单的。 Zbl 1042.06003号 Hiroki高村 1 2003 不完全中间逻辑的连续体。 Zbl 1031.03050号 塔德乌兹·利塔克 5 2002 强否定子结构逻辑的规范模型构造。 Zbl 1027.03019号 诺里希罗·卡米德 4 2002 Anderson和Belnap's具有最小否定的最小正逻辑。 Zbl 1032.03006号 何塞·梅恩德斯。;弗朗西斯科·萨尔托;杰玛·罗伯斯 1 2002 充分充分的Gentzen系统和演绎定理。 Zbl 1004.03053号 字体，Josep Maria;拉蒙·詹萨纳;唐·皮戈齐 9 2001 属性S。 兹比尔0991.03017 罗伯特·考恩 三 2001 概率结构的一些模型理论。 Zbl 0989.03034号 乔治·乔治斯库 三 2001 关于企业所得税问题。 Zbl 0991.03011号 彼得·沃伊泰拉克;安德烈·兰斯基 1 2001 最小为零的交换序幺半群中的剩余。 兹比尔0996.03040 詹姆斯·拉弗瑞。;van Alten，Clint J。 7 2000 剩余格的多样性是由其有限的简单成员生成的。 Zbl 0991.06004号 托马斯·科瓦尔斯基;小野，Hiroakira 7 2000 关于剩余格、pocrims和BCK-代数的有限嵌入性。 Zbl 0982.08500号 布洛克，W.J。;范阿尔滕，C.J。 5 2000 代数逻辑中的小森恒等式。 Zbl 0985.03064号 威廉·布洛克。;西尔维娅·拉法尔塞。 2 2000 一些Paralogic的嵌入和插值。命题案例。 Zbl 0954.03031号 迪德里克·巴滕斯;克里斯托夫·德·克莱尔克;娜塔莎·库托尼娜 15 1999 维瑟命题逻辑结果关系的形式化。 Zbl 0947.03026号 胜美佐佐木 6 1999 多维逻辑的蕴涵系统。 Zbl 0947.03010号 阿列克谢·潘科（Alexej P.Pynko）。 三 1999 等价代数的表前变种。 Zbl 0959.08004号 托马斯·科瓦尔斯基 1 1999 各种正交晶格的超错位性质。 Zbl 0948.03058号 宫崎骏 1 1999 时态代数的种类。 兹伯利0941.03066 托马斯·科瓦尔斯基 20 1998 关于经典模态相关代数的注记。 Zbl 0941.03067号 塞尔吉奥·塞拉尼。 1 1998 关于直觉主义命题逻辑片段的无交换和收缩规则的拟变分语义。 Zbl 0946.03027号 范阿尔滕，C.J。;J.G.拉弗瑞。 三 1997 …还有134个文档 所有引用出版物 前5名被引用出版物 全部的 前5名626位作者引用 17 拉蒙·詹萨纳 16 古拉姆·贝扎尼什维利 15 塞拉尼、塞尔吉奥·阿图罗 15 托马索·莫拉希尼 12 詹姆斯·拉弗瑞。 11 威瑟·迪奥比亚克 11 字体，Josep Maria 11 古斯塔沃·佩莱泰 11 杰玛·罗伯斯 10 保罗·阿格里亚诺 10 亚历克斯·西特金 10 弗朗西斯科·保利 10 乔治·沃萨达基斯 9 贾纳斯·Czelakowski 9 阿尔多·维多利亚·菲加洛 9 卢西亚诺·哈维尔·冈萨雷斯 9 托马斯·科瓦尔斯基 9 何塞·梅恩德斯。 9 费德里科·马蒂亚斯 9 雅罗斯拉夫·伊戈列维奇·彼得鲁金 8 劳埃德·亨伯斯通 8 唐·伦纳德·皮戈齐 8 瓦西里·沙金 7 何塞·路易斯·卡斯蒂格利奥尼 7 琼·吉斯佩特 7 诺里希罗·卡米德 7 安东尼奥·莱达 7 小野，Hiroakira 7 铃木，Nobu-Yuki 7 安东尼·托伦斯·托雷尔 6 尼克·贝扎尼什维利 6 马蒂奥·比安奇 6 伊斯梅尔·卡洛米诺 6 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 6 梅·盖尔克 6 罗莎莉，伊姆霍夫 6 Pascual，Inés B。 6 翁贝托·里维奇奥 6 van Alten，Clint J。 6 海因里希·西奥多 6 彼得·沃伊泰拉克 6 马雷克·扎昂克 5 斯特凡诺·阿古佐利 5 雨果·阿尔伯克基 5 威廉·约翰内斯·布洛克 5 卢卡·卡莱 5 伊凡·查伊达 5 谢尔盖·德罗比谢维奇 5 保罗·埃格里 5 尼古拉斯·加拉托斯 5 丹尼·加迪 5 Goudsmit，Jeroen P。 5 乔治·梅特卡夫 5 帕特里克·J·莫兰迪。 5 克劳迪娅·穆雷桑 5 马雷克·纳西涅夫斯基 5 卡莱斯·诺格拉 5 亚历山德拉·帕尔米吉亚诺 5 戴维·里普利 5 圣马丁·埃尔南·哈维尔 5 鲍里斯·索博特 5 达米安·恩里克·斯穆克 5 Mitio Takano公司 5 亚历山大·亚申。 4 阿诺·阿夫隆 4 胡安·曼努埃尔·科内霍 4 迪亚斯·瓦雷拉，何塞·帕特里西奥 4 沃伊切赫·Dzik 4 弗朗西斯科·埃斯特瓦 4 路易斯·埃斯特拉达·冈萨雷斯 4 阿尔多·菲加洛·奥雷利亚诺 4 法语、罗汉语 4 安托万·金特里尼 4 伯恩哈德·吉滕贝格 4 罗伯托·吉安蒂尼 4 巴威·M·伊齐亚克。 4 托马斯·贾穆·埃克 4 亚历山大·科库雷克。 4 佐菲亚·科斯特齐卡 4 多罗塔·莱斯琴斯卡·贾西翁 4 拉里萨·勒沃夫娜·马克西莫娃 4 格热戈兹·马林诺夫斯基 4 佛朗哥·蒙塔格纳 4 丹妮拉·蒙坦吉 4 谢尔盖·奥丁佐夫。 4 卡塔兹纳州帕阿辛斯卡 4 Rump，沃尔夫冈 4 圣马汀，埃尔南·J。 4 高弘·塞基 4 德米特里·什卡托夫 4 雅罗斯拉夫·什兰科。 4 德米特里·斯科沃尔佐夫 4 萨拉·乌戈里尼 4 文图拉·弗杜 4 Johann J.Wannenburg。 4 迈克尔·维克托洛维奇（Michael Viktorovich） 三 艾哈德·艾钦格 三 爱德华多·亚历杭德罗·巴里奥 三 迪德里克·巴滕斯 三 米查尔·博图尔 …还有526位作者 全部的 前5名83种期刊引用 199 Studia Logica公司 49 哲学逻辑杂志 39 纯逻辑与应用逻辑年鉴 33 代数普遍性 24 数学逻辑档案 24 泛逻辑 23 圣母院形式逻辑杂志 23 软计算 21 模糊集与系统 20 逻辑科公报 20 逻辑与逻辑哲学 20 符号逻辑述评 17 应用非经典逻辑杂志 15 合成 13 逻辑、语言与信息杂志 13 数学逻辑季刊（MLQ） 11 理论计算机科学 10 国际理论物理杂志 10 符号逻辑杂志 9 代数与逻辑 9 订单 7 代数杂志 7 Logicheskie Issledovaniya公司 5 数学笔记 5 美国数学学会会刊 5 应用逻辑杂志 4 离散数学 4 拓扑及其应用 4 中欧数学杂志 三 数学分析与应用杂志 三 纯粹与应用代数杂志 三 信息与计算 三 国际近似推理杂志 三 应用的分类结构 三 多值逻辑与软计算杂志 2 巴洛克大学学报。山楂（Facultas Rerum Naturalium）。数学软件 2 卡罗莱纳大学数学评论 2 信息科学 2 阿根廷马特马提卡大学修订版 2 半群论坛 2 MSCS公司。计算机科学中的数学结构 2 数学科学杂志（纽约） 2 符号逻辑公报 2 日本数学杂志 2 代数杂志及其应用 2 计算机科学中的逻辑方法 2 亚欧数学杂志 2 逻辑与分析杂志 2 可计算性 2 欧洲数学杂志 1 信息学报 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 计算机与数学及其应用 1 休斯顿数学杂志 1 数学物理杂志 1 概率年鉴 1 捷克斯洛伐克数学杂志 1 计算机与系统科学杂志 1 斯洛伐克数学 1 数学期刊 1 美国数学学会会刊 1 《数学研究所出版物》。Nouvelle Série公司 1 实际分析交换 1 SIAM计算机杂志 1 西伯利亚数学杂志 1 伊朗数学学会公报 1 算法 1 自动推理杂志 1 随机结构与算法 1 Mathematica Bohemica公司 1 国际代数与计算杂志 1 Indagationes Mathematicae公司。新系列 1 数学与人工智能年鉴 1 托波伊 1 组合年刊 1 埃尔肯特尼斯 1 数学逻辑杂志 1 Vestnik Novosibirskogo Gosudarstennogo大学。Seriya：Matematika、Mekhanika、Informatika 1 数学古物 1 Axiomathes公司 1 ISRN应用数学 1 诺尔斯 1 美国数学学会会刊。B系列 全部的 前5名29个字段中引用 709 数理逻辑与基础（03-XX） 207 阶、格、有序代数结构（06-XX） 89 一般代数系统（08-XX） 56 计算机科学（68至XX） 22 范畴理论；同调代数（18-XX） 22 一般拓扑结构（54至XX） 13 量子理论（81-XX） 12 历史和传记（01-XX） 10 组合数学（05-XX） 6 总体主题；集合（00-XX） 6 数论（11-XX） 6 交换代数（13-XX） 4 群论与推广（20-XX） 4 概率论与随机过程（60-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 功能分析（46倍X倍） 三 算子理论（47-XX） 2 结合环与代数（16-XX） 2 变分法与最优控制；最优化（49至XX） 1 场论和多项式（12-XX） 1 代数几何（14-XX） 1 拓扑群、李群（22日至XX日） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 偏微分方程（35-XX） 1 几何形状（51至XX） 1 数值分析（65-XX） 1 相对论和引力理论（83至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文