逻辑科公报 简短标题: 牛市。第节。逻辑,Pol。阿卡德。科学。 出版商: 波兰科学院,Wrocław哲学和社会学研究所 国际标准编号: 0138-0680 在线: http://www.filozof.uni.lodz.pl/公告/https://bibliotekanauki.pl/journals/1106/issues 继承人: 逻辑科公报 评论: 期刊;不再索引 已编制索引的文档: 409出版物(1975–1992) 全部的 前5名最新问题 21,第4期(1992年) 21,第3期(1992年) 21,第1期(1992年) 20,第2期(1991年) 20,第1期(1991年) 19,第4号(1990) 19,第3期(1990年) 19,第2期(1990年) 19,第1期(1990年) 18,第4号(1989) 18,第3期(1989年) 18,第2期(1989年) 18,第1期(1989年) 17,第3-4号(1988) 17,第2期(1988年) 17,第1期(1988年) 16(1987) 15(1986) 14(1985) 13(1984) 12(1983) 11(1982) 10(1981) 9(1980) 8(1979) 7(1978) 6(1977) 5(1976) 4(1975) 全部的 前5名作者 14 威瑟·迪奥比亚克 12 贾纳斯·Czelakowski 12 兹兹瓦夫·迪万 12 哈瓦内克(Jacek Hawranek) 12 Wolniewicz、Bogusław 11 或者艾瓦·奥斯卡。 11 马雷克·帕拉辛斯基 9 埃瓦万达格拉琴斯卡 8 Jacek K.卡宾斯基。 8 沃尔夫冈·劳滕贝格 8 马雷克·托卡兹 8 安德烈·伦斯基 7 塔德乌兹·普鲁克纳尔 7 詹·齐格蒙特 6 Cīrulis,杰尼斯 6 内梅蒂,伊斯特万 6 特奥多尔·圣皮昂 5 艾利亚斯·汉贝托·阿尔维斯 5 哈伊纳尔·安德雷卡 5 格热戈兹·马林诺夫斯基 5 理查德·西尔文 5 伊尔迪科·塞恩 5 芭芭拉·沃兹尼亚科夫斯卡 4 卡齐米埃拉·迪尔达 4 巴威·M·伊齐亚克。 4 Aleksandr Stepanovich Karpenko 4 罗伯特·肯尼思·梅耶 4 托马斯·斯库拉。 4 罗马人苏兹科 三 安德烈·比拉 三 马丁·邦德。 三 沃伊切赫·巴斯科夫斯基 三 拉兹洛·齐尔马兹 三 Da Costa、Newton Carneiro Affonso 三 科斯塔·多森 三 格里戈利亚(Grigolia)、露华兹(Revaz) 三 乔治·E·休斯。 三 Piotr S.Krzystek。 三 彼得·乌科斯基 三 伊沃纳·马雷克 三 何塞·梅恩德斯。 三 维亚切斯拉夫·尤尔埃维奇(Vyacheslav Yur'evich Meskhi) 三 马雷克·诺瓦克 三 玛丽亚·诺瓦科夫斯卡 三 卡塔兹纳州帕阿辛斯卡 三 马尔戈扎塔·波列布斯卡 三 Szymanek、Krzysztof 三 Ryszard Wojcicki 三 彼得·沃伊泰拉克 2 艾达·伊格内兹,阿鲁达 2 巴拉兹比罗 2 Jerzy J.布拉兹祖克。 2 威廉·约翰内斯·布洛克 2 布拉尼斯拉夫·博里奇奇。 2 埃瓦州卡宾斯卡 2 克雷斯韦尔·麦克斯韦尔·约翰 2 乔治·爱泼斯坦 2 费亚·考斯基,简 2 字体,Josep Maria 2 安德烈·T·福尔曼。 2 托马斯·弗马诺夫斯基 2 史蒂夫·吉安布罗内 2 高雄井上 2 斯坦尼斯·瓦·克拉耶夫斯基 2 伊万·克拉莫西尔 2 RyszardŁadniak 2 维托尔德·马西泽夫斯基 2 迈克尔·麦克罗比。 2 马钦·莫斯托夫斯基 2 米奇斯劳·奥米拉 2 广场,1月A日。 2 弗拉基米尔·米哈伊洛维奇·波波夫 2 胜美佐佐木 2 安德烈·森德勒夫斯基 2 谢尔尼,吉尔吉斯 2 弗拉基米尔·阿列克桑德罗维奇·斯米尔诺夫 2 赫里斯托·斯莫列诺夫 2 兹比格涅夫·斯塔奇尼亚克 2 沃伊切赫·苏雄 2 马丁·塔巴科夫 2 安东尼·托伦斯·托雷尔 2 卡齐米尔兹·特泽西基 2 多尔夫·乌尔里奇 2 马克斯·彼得·乌尔赫斯 2 文图拉·弗杜 2 Wybraniec-Skardowska,Urszula B。 2 斯坦尼斯劳·扎卓罗斯基 1 Celina A.A.P.阿巴尔。 1 亚伯、杰尔·米诺罗 1 戈登·海弗斯(Gordon S.Beavers)。 1 贝尔纳普,Nuel D.jun。 1 伯纳德,简 1 比莱卡·霍·达、马·戈扎塔 1 克里斯蒂娜·Błachowicz 1 乔治·S·布洛斯。 1 米兰博伊奇 1 Grzegorz Bryll 1 Bui Huy Hien公司 1 彼得·伯迈斯特 1 彼得·拜斯特罗夫。 …还有97位作者 全部的 前5名领域 386 数学逻辑和基础(03-XX) 43 一般代数系统(08-XX) 33 阶、格、有序代数结构(06-XX) 25 计算机科学(68至XX) 4 一般性和全局性主题;集合(00-XX) 4 范畴理论;同调代数(18-XX) 三 历史和传记(01-XX) 三 数论(11-XX) 三 一般拓扑结构(54至XX) 2 群论与推广(20-XX) 2 量子理论(81-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 138出版物有被引用357次274文件 引用人▼ 年份▼ 模态逻辑的不完备性程度(摘要)。 Zbl 0418.03012号 布洛克,W.J。 23 1978 关于Łukasiewicz三值逻辑的注记。 兹比尔0962.03503 罗马人苏兹科 13 1975 关于闭包系统的分配性。 Zbl 0403.03053号 沃伊切赫·Dzik;罗马人苏兹科 10 1977 命题演算的参考矩阵语义。 Zbl 0435.03016号 Ryszard Wojcicki 10 1979 模态演算的语义。 Zbl 0721.03009号 于伊夫列夫。五、。 9 1988 弗洛伊德逻辑的完整性。 Zbl 0407.03034号 哈伊纳尔·安德烈卡;伊斯特万·内梅蒂 8 1978 Brouwerian代数和闭包代数有限生成的判据。 Zbl 0407.03048号 利奥·伊萨基亚;格里戈利亚(Grigolia)、露华兹(Revaz) 8 1977 次协调逻辑和多值逻辑之间的关系。 Zbl 0494.03019号 Da Costa,Newton C.A.(牛顿·C.A.)。;Elias H.阿尔维斯。 8 1981 最小道义逻辑。 Zbl 0408.03016号 范·本特姆,J.F.A.K。 7 1979 强有限逻辑:有限公理化和上确界问题。 Zbl 0409.03017号 彼得·沃伊泰拉克 7 1979 论中间逻辑和模态逻辑的Hallén-完备性。 Zbl 0698.03012号 查格罗夫。;M.V.Zakharyashchev。 7 1990 互补句子逻辑。 Zbl 0732.03006号 阿奇尔·瓦尔齐(Achille C.Varzi)。 7 1990 关联代数中的乘数。 Zbl 0634.03067号 朱尼斯·西鲁利斯 6 1986 关系代数的二维模态逻辑和区间的时间逻辑。 Zbl 0685.03014号 威尼玛,伊德 6 1989 关于与直觉逻辑有关的某些变种的代数中的紧同余因子分解。 Zbl 0624.03046号 安德热伊·弗伦斯基 5 1986 关于句子逻辑的纯反驳公式。 Zbl 0706.03013号 托马斯·斯科拉 5 1990 Lukasiewicz逻辑和Wajsberg代数。 Zbl 0717.03027号 安东尼奥·罗德里格斯。;安东尼·托伦斯;文图拉·弗杜 5 1990 直觉双重否定的公理化。 Zbl 0542.03007号 米兰博伊奇;科斯塔·多森 5 1983 经典一阶逻辑的有限关系代数。 Zbl 0745.03057号 保罗·A·S·维洛索。;阿曼多·海伯勒(Armando M.Haeberer)。 5 1991 保持真实度的结果运算的特征。 Zbl 0647.03014号 马雷克·诺瓦克 4 1987 把与真理的距离视为真正的距离。 Zbl 0411.03003号 大卫·米勒 4 1977 关于由分配格决定的基于有限的结果。 Zbl 0435.03006号 卡齐米埃拉·迪尔达;塔德乌兹·普鲁克纳尔 4 1980 Gentzen系统和相关逻辑的决策程序。(摘要)。 Zbl 0523.03015号 史蒂夫·吉安布罗内 4 1982 从逻辑的角度来看BCI-代数。 Zbl 0542.03044号 Jacek K·卡宾斯基。 4 1983 非标准动态逻辑的完全正确性。 Zbl 0538.68017号 伊尔迪科·塞恩 4 1983 具有投影元素的关系代数方程理论的复杂性。 Zbl 0770.03021号 米库拉斯(Mikulás,Szabolcs);伊尔迪科·塞恩;西蒙,安德拉斯 4 1992 证明某些正常模态逻辑中的不可证明性。 Zbl 0733.03010号 瓦伦丁·戈兰科 4 1991 推广多元代数的概念。 Zbl 0614.03060号 Cīrulis,杰尼斯 三 1986 自然演绎关联逻辑。 兹比尔0405.03008 弗雷德里克·约翰逊。 三 1977 一类直觉模态计算的语义。 Zbl 0429.03009号 费舍尔·塞维(G.Fischer Servi)。 三 1978 计算机科学时序逻辑需要时钟。 Zbl 0696.03012号 伊尔迪科·塞恩 三 1989 中间命题逻辑的简单替换性质。 Zbl 0697.03011号 胜美佐佐木 三 1989 一种新的中间逻辑判定准则。 Zbl 0698.03013号 托马斯·斯科拉 三 1990 一些中间逻辑片段的结构完整性。 Zbl 0549.03021号 塔德乌兹·普鲁克纳尔 三 1983 Nelson代数的拓扑对偶及其应用。 Zbl 0561.06007号 安德烈·森德勒夫斯基 三 1984 关于标签标记理论。 兹比尔0457.68094 乌苏拉州Wybraniec-Skardowska 三 1981 丝状变种的相对同余分布亚拟变种。 Zbl 0715.08005号 贾纳斯·Czelakowski 三 1990 模态逻辑的格(初步报告)。 Zbl 0403.03014号 布洛克,W.J。 三 1977 蕴涵关系和矩阵。一、。 Zbl 0409.03015号 齐格蒙特,Jan 三 1979 逻辑内和逻辑外的程序验证。 Zbl 0441.68024号 哈伊纳尔·安德烈卡;伊斯特万·内梅蒂;伊尔迪科·赛因 三 1979 Heyting代数的拟变种。 Zbl 0507.08010号 安德烈·伦斯基 三 1981 论理查德·爱泼斯坦的关联逻辑。 Zbl 0526.03009号 斯坦尼斯劳·克拉耶夫斯基 三 1982 命题逻辑的伪指称矩阵语义。 Zbl 0542.03013号 格热戈兹·马林诺夫斯基 三 1983 R的双元语义的不完全性。 Zbl 0652.03011号 J.Michael Dunn 2 1987 非交换柱代数与柱代数的相对化。 Zbl 0655.03044号 理查德·汤普森。 2 1988 Łukasiewicz-si无穷值逻辑的T-F-拓扑。 Zbl 0666.03018号 瓦西科夫,V.L。 2 1988 关于分配格的逻辑。 Zbl 0676.03038号 字体,Josep M。;文图拉·弗杜 2 1989 谓词逻辑的矩阵。 Zbl 0404.03013号 哈瓦内克(Jacek Hawranek);马雷克·托卡兹 2 1977 正规模态逻辑的格(初步报告)。 Zbl 0404.03055号 沃尔夫冈·劳滕贝格 2 1977 更多关于时态逻辑格的内容。 Zbl 0411.03015号 沃尔夫冈·劳滕贝格 2 1979 Ryszard Wojcicki猜想的证明。 Zbl 0414.03017号 格热戈兹·马林诺夫斯基 2 1978 强有限命题演算的结构完备性的判定。 Zbl 0408.03018号 兹兹斯拉夫·迪万 2 1978 具有\(2^{\aleph_0}\)标准强度的强有限后果运算的示例。 兹比尔0408.03019 威斯劳·迪奥比亚克 2 1979 关于皮亚诺算法中的可定义性。 Zbl 0424.03008号 拉兹洛·齐尔马兹 2 1979 一种三元素矩阵,其结果运算不是基于有限的。 Zbl 0419.03017号 安杰伊·弗伦斯基 2 1979 Bochvar代数及其命题演算。 Zbl 0441.03023号 维克托·芬恩;格里戈利亚(Grigolia)、露华兹(Revaz) 2 1980 直觉逻辑的完整句法特征。 Zbl 0682.03004号 托马斯·斯科拉 2 1989 具有恒等式的直觉句子演算。 Zbl 0709.03002号 彼得·卢科夫斯基 2 1990 命题逻辑和性爱推理。 Zbl 0575.03003号 安德烈·维希·涅夫斯基 2 1985 证明一些一级相关原基因的表式。 Zbl 0569.03007号 迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。 2 1984 相关逻辑的哲学-方法学方面。 Zbl 0694.03005号 英国Voishvillo。 2 1989 彻底穿透。 Zbl 0713.03010号 罗伯特·K·迈耶。 2 1990 命题的目标。 Zbl 0415.03005号 沃尼维茨,博古斯劳 2 1978 关于模态逻辑关于邻域语义的不完全性的注记。 Zbl 0415.03020号 威斯劳·迪奥比亚克 2 1978 关于强有限结果运算。 Zbl 0415.03021号 威斯劳·迪奥比亚克 2 1979 以一类具有无限个体域的代数框架为特征的中间逻辑。 Zbl 0678.03006号 铃木,Nobu-Yuki 2 1989 一类多值命题演算的插值性质。 Zbl 0457.03023号 格热戈兹·马林诺夫斯基;马雷克·米查尔奇克 2 1981 目标的布尔代数。 兹比尔0457.03058 沃尼维茨,博古斯劳 2 1981 关于程序验证方法的完整性。 Zbl 0481.68034号 巴拉兹·比罗 2 1981 可除量词。 Zbl 0811.03031号 马钦·莫斯托夫斯基 2 1991 关于中间逻辑的约简。 Zbl 0471.03019号 安德烈·伦斯基 2 1980 关于Łukasiewicz预完备逻辑(素数图)图有限性的假设。 Zbl 0632.03018号 亚历山大·卡彭科。 1 1986 R和\({\L}_{\aleph_0}\)的双元语义。 Zbl 0634.03024号 瓦西约科夫,V.L。 1 1986 柯里基金会的相关失效。 Zbl 0642.03010号 理查德·西尔文 1 1987 关于伪相关矩阵的备注。 Zbl 0649.03011号 马雷克,伊沃纳 1 1987 关于恒等式和超恒等式之间的联系。 Zbl 0668.08006号 埃瓦州格拉琴斯卡 1 1989 广义复代数和正则恒等式。 Zbl 0625.08007号 巴威·M·伊齐亚克。 1 1985 非伪因果操作的充分语义。 Zbl 0627.03015号 伊沃纳·马雷克 1 1986 经典范畴语法的强大生成能力。 Zbl 0636.03020号 沃伊切赫·巴斯科夫斯基 1 1986 用Anderson和Belnap的“强而自然的有效蕴涵列表”公理化(E_{to})和(R{to}\)。 Zbl 0639.03016号 何塞·梅恩德斯。 1 1987 关于结果操作的深度。 Zbl 0403.03019号 安德烈·温斯基 1 1977 关于极大矩阵后果的一个注记。 Zbl 0404.03012号 马雷克·托卡兹 1 1977 关于一些直觉模态逻辑。 Zbl 0404.03016号 小野,Hiroakira 1 1977 Lukasiewicz无穷值逻辑分离定理的代数证明。 Zbl 0404.03018号 芭芭拉·沃兹尼亚科夫斯卡 1 1977 逼真性定理。 Zbl 0411.03005号 克里斯·莫滕森 1 1978 口头副本。 Zbl 0424.03003号 玛丽亚·诺瓦科夫斯卡 1 1980 省略类型定理的纯代数证明。 Zbl 0418.03023号 贾纳斯·Czelakowski 1 1979 过滤器和封闭系统的自然延伸。 Zbl 0419.03042号 罗马人苏兹科;塔马拉·温菲尔德 1 1979 关于Birkhoff和v.Neumann量子逻辑的一些矩阵。 Zbl 0426.03067号 米罗斯瓦夫·马杰夫斯基 1 1978 状态集诱导的量子逻辑拓扑。 Zbl 0426.03068号 卡洛斯·伦加佐 1 1978 有关引用矩阵的更多信息。 Zbl 0445.03010号 Ryszard Wojcicki 1 1980 二进制连接词的通用规则是基于有限的。 兹伯利0673.03022 沃尔夫冈·劳滕贝格 1 1989 直觉S4的插值定理。 Zbl 0732.03010号 布拉尼斯拉夫·博里奇奇。 1 1991 包含K4的模态逻辑的结构完整性。 Zbl 0548.03006号 Dziobiak,维斯瓦夫 1 1983 推理组合逻辑中的无条件连接。 Zbl 0557.03008号 M.W.邦德。 1 1984 关于蕴涵半格的闭包自同态。 Zbl 0576.03039号 朱尼斯·西鲁利斯 1 1985 关于拟模代数的个数。 Zbl 0585.03034号 雅切克·马林诺夫斯基 1 1985 关于Lambek-van-Benthem演算的注记。 Zbl 0557.03017号 沃伊切赫·巴斯科夫斯基 1 1984 关于各种Heyting代数的次拟簇的格的分配性。 Zbl 0555.06008号 威瑟·迪奥比亚克 1 1983 关于谓词演算的模态类型语言。 Zbl 0556.03014号 迪米特·斯科尔德夫 1 1984 具有投影元素的关系代数方程理论的复杂性。 Zbl 0770.03021号 米库拉斯(Mikulás,Szabolcs);伊尔迪科·塞恩;西蒙,安德拉斯 4 1992 次协调逻辑的第一个公理化。 Zbl 0757.03010号 Elias H.阿尔维斯。 1 1992 三模态逻辑的反驳规则。 Zbl 0752.03005号 托马斯·斯科拉 1 1992 关于经典逻辑的两个亲戚。 Zbl 0771.0302号 马雷克·诺瓦克 1 1992 有多少逻辑上不变的动作? Zbl 0786.03005号 克里斯特·塞格伯格 1 1992 以Łukasiewicz逻辑进行分发。 Zbl 0766.03013号 戈登·海狸 1 1992 经典一阶逻辑的有限关系代数。 兹伯利0745.03057 保罗·A·S·维洛索。;阿曼多·海伯勒(Armando M.Haeberer)。 5 1991 证明某些正常模态逻辑中的不可证明性。 Zbl 0733.03010号 瓦伦丁·戈兰科 4 1991 可除量词。 Zbl 0811.03031号 马钦·莫斯托夫斯基 2 1991 直觉S4的插值定理。 Zbl 0732.03010号 布拉尼斯拉夫·博里奇奇。 1 1991 有限等价代数的判定问题。 Zbl 0749.08006号 巴威·M·伊齐亚克。 1 1991 论中间逻辑和模态逻辑的Hallén-完备性。 Zbl 0698.03012号 查格罗夫。;M.V.Zakharyashchev。 7 1990 补充句子逻辑。 Zbl 0732.03006号 阿奇尔·瓦尔齐(Achille C.Varzi)。 7 1990 论句子逻辑的纯反驳公式。 Zbl 0706.03013号 托马斯·斯科拉 5 1990 Lukasiewicz逻辑和Wajsberg代数。 Zbl 0717.03027号 安东尼奥·罗德里格斯。;安东尼·托伦斯;文图拉·弗杜 5 1990 一种新的中间逻辑判定准则。 Zbl 0698.03013号 托马斯·斯科拉 三 1990 丝状变种的相对同余分布亚拟变种。 兹比尔0715.08005 贾纳斯·Czelakowski 三 1990 具有恒等式的直觉句子演算。 Zbl 0709.03002号 彼得·卢科夫斯基 2 1990 彻底穿透。 Zbl 0713.03010号 罗伯特·K·迈耶。 2 1990 有限逻辑和简单替换性质。 Zbl 0709.03020号 津都河内;胜美佐佐木 1 1990 具有经典恒等式的直觉句子演算。 Zbl 0733.03006号 彼得·乌科斯基 1 1990 关系代数的二维模态逻辑和区间的时间逻辑。 Zbl 0685.03014号 威尼玛,伊德 6 1989 计算机科学时序逻辑需要时钟。 Zbl 0696.03012号 伊尔迪科·塞恩 三 1989 中间命题逻辑的简单替换性质。 Zbl 0697.03011号 胜美佐佐木 三 1989 关于分配格的逻辑。 Zbl 0676.03038号 字体,Josep M。;文图拉·弗杜 2 1989 直觉逻辑的完整句法特征。 Zbl 0682.03004号 托马斯·斯科拉 2 1989 相关逻辑的哲学方法论方面。 Zbl 0694.03005号 英国Voishvillo。 2 1989 以一类具有无限个独立域的代数框架为特征的中间逻辑。 Zbl 0678.03006号 铃木,Nobu-Yuki 2 1989 关于恒等式和超恒等式之间的联系。 Zbl 0668.08006号 埃瓦州格拉琴斯卡 1 1989 二进制连接词的通用规则是基于有限的。 Zbl 0673.03022号 沃尔夫冈·劳滕贝格 1 1989 关于信息功能。二: 理论变革逻辑的应用。 Zbl 0681.03015号 Szymanek、Krzysztof 1 1989 相对点正则拟变种。 Zbl 0695.08015号 Janusz Czelakowski 1 1989 模态计算的语义。 Zbl 0721.03009号 于伊夫列夫。五、。 9 1988 非交换柱代数与柱代数的相对化。 Zbl 0655.03044号 理查德·汤普森。 2 1988 Łukasiewicz-si无穷值逻辑的T-F-拓扑。 Zbl 0666.03018号 瓦西科夫,V.L。 2 1988 保持真实度的结果运算的特征。 Zbl 0647.03014号 马雷克·诺瓦克 4 1987 R的双元语义的不完全性。 Zbl 0652.03011号 J.Michael Dunn 2 1987 柯里基金会的相关失效。 Zbl 0642.03010号 理查德·西尔文 1 1987 关于伪相关矩阵的备注。 Zbl 0649.03011号 马雷克,伊沃纳 1 1987 用Anderson和Belnap的“强而自然的有效蕴涵列表”公理化(E_{to})和(R{to}\)。 Zbl 0639.03016号 何塞·梅恩德斯。 1 1987 关联代数中的乘数。 Zbl 0634.03067号 朱尼斯·西鲁利斯 6 1986 关于与直觉逻辑有关的某些变种的代数中的紧同余因子分解。 Zbl 0624.03046号 安德烈·兰斯基 5 1986 推广多元代数的概念。 兹比尔0614.03060 Cīrulis,杰尼斯 三 1986 关于Łukasiewicz预完备逻辑(素数图)图有限性的假设。 Zbl 0632.03018号 亚历山大·卡彭科。 1 1986 R和\({\L}_{\aleph_0}\)的双元语义。 Zbl 0634.03024号 瓦西约科夫,V.L。 1 1986 非伪公理化结果运算的充分语义。 Zbl 0627.03015号 伊沃纳·马雷克 1 1986 经典范畴语法的强大生成能力。 Zbl 0636.03020号 沃伊切赫·巴斯科夫斯基 1 1986 命题逻辑和性爱推理。 Zbl 0575.03003号 安德烈·维希·涅夫斯基 2 1985 广义复代数和正则恒等式。 Zbl 0625.08007号 巴威·M·伊齐亚克。 1 1985 关于蕴涵半格的闭包自同态。 Zbl 0576.03039号 朱尼斯·西鲁利斯 1 1985 关于拟模代数的个数。 Zbl 0585.03034号 雅切克·马林诺夫斯基 1 1985 紧圆柱集代数。 Zbl 0576.03041号 谢尔尼,吉尔吉斯 1 1985 关于隐含中间后果的说明。 Zbl 0584.03017号 劳滕贝格,W。 1 1985 Nelson代数的拓扑对偶及其应用。 Zbl 0561.06007号 安德烈·森德勒夫斯基 三 1984 证明一些一级相关原基因的表式。 Zbl 0569.03007号 迈克尔·麦克罗比。;贝尔纳普,Nuel D.jun。 2 1984 推理组合逻辑中的无条件连接。 Zbl 0557.03008号 M.W.邦德。 1 1984 关于Lambek van Benthem微积分的一个注记。 Zbl 0557.03017号 沃伊切赫·巴斯科夫斯基 1 1984 关于谓词演算的模态类型语言。 Zbl 0556.03014号 迪米特·斯科尔德夫 1 1984 关于同构但不是下基同构的柱体集代数。 Zbl 0569.03028号 巴洛兹比罗 1 1984 关于句法范畴语言的公理系统。 Zbl 0595.03023号 乌苏拉州Wybraniec-Skardowska 1 1984 用({L}ukasiewicz)多值逻辑刻画素数。 Zbl 0547.03019号 亚历山大·卡彭科。 1 1984 直觉主义双重否定的公理化。 Zbl 0542.03007号 米兰博伊奇;科斯塔·多森 5 1983 从逻辑的角度来看BCI-代数。 Zbl 0542.03044号 Jacek K·卡宾斯基。 4 1983 非标准动态逻辑的完全正确性。 Zbl 0538.68017号 伊尔迪科·塞恩 4 1983 一些中间逻辑片段的结构完整性。 Zbl 0549.03021号 塔德乌兹·普鲁克纳尔 三 1983 命题逻辑的伪相关矩阵语义。 兹伯利0542.03013 格热戈兹·马林诺夫斯基 三 1983 包含K4的模态逻辑的结构完整性。 Zbl 0548.03006号 威瑟·迪奥比亚克 1 1983 关于各种Heyting代数的次拟簇的格的分配性。 Zbl 0555.06008号 威瑟·迪奥比亚克 1 1983 (n)-格的表前变种。 Zbl 0556.03045号 安德热·森德尔夫斯基 1 1983 BCK逻辑的准变分。 Zbl 0567.03032号 Jacek K·卡宾斯基。 1 1983 解释。 Zbl 1247.03121号 Szczerba,Lesław W。 1 1983 Gentzen系统和相关逻辑的决策程序。(摘要)。 Zbl 0523.03015号 史蒂夫·吉安布罗内 4 1982 论理查德·爱泼斯坦的关联逻辑。 Zbl 0526.03009号 斯坦尼斯劳·克拉耶夫斯基 三 1982 模糊概念的逻辑。 Zbl 0511.03003号 埃瓦州奥洛斯卡 1 1982 关于代数模型理论中的一个问题。 Zbl 0531.03043号 Bui Huy Hien公司 1 1982 K1.1不规范。 Zbl 0525.03003号 G.E.休斯。;克雷斯韦尔,M.J。 1 1982 次协调逻辑和多值逻辑之间的关系。 Zbl 0494.03019号 Da Costa,Newton C.A.(牛顿·C.A.)。;Elias H.阿尔维斯。 8 1981 关于标签标记理论。 Zbl 0457.68094号 乌尔苏拉·怀布兰尼克·斯卡多夫斯卡 三 1981 Heyting代数的拟变种。 Zbl 0507.08010号 安德烈·伦斯基 三 1981 一类多值命题演算的插值性质。 Zbl 0457.03023号 格热戈兹·马林诺夫斯基;马雷克·米查尔奇克 2 1981 目标的布尔代数。 Zbl 0457.03058号 Wolniewicz,博古斯劳 2 1981 关于程序验证方法的完整性。 Zbl 0481.68034号 巴拉兹·比罗 2 1981 BCK-代数中的理想是下半格。 Zbl 0464.03056号 马雷克·帕拉辛斯基 1 1981 一种新的时间理论:从模糊的时间关系中产生时间。 Zbl 0465.94052号 玛丽亚·诺瓦科夫斯卡 1 1981 Jaskowski系统Q的克里普克式语义。 Zbl 0457.03025号 马克斯·彼得·乌尔赫斯 1 1981 超积范畴理论概念的问题。 Zbl 0489.03026号 Hien Huy Bui公司;伊斯特万·内梅蒂 1 1981 关于有限Heyting或拓扑布尔代数生成的拟簇的公理化性。 Zbl 0492.03029号 威斯劳·迪奥比亚克 1 1981 交换BCK-代数的方程基础。 Zbl 0475.03038号 马雷克·帕拉辛斯基;芭芭拉·沃兹尼亚科夫斯卡 1 1981 关于由分配格决定的基于有限的结果。 Zbl 0435.03006号 卡齐米埃拉·迪尔达;塔德乌兹·普鲁克纳尔 4 1980 Bochvar代数及其命题演算。 兹比尔0441.03023 维克托·芬恩;格里戈利亚(Grigolia)、露华兹(Revaz) 2 1980 关于中间逻辑的约简。 Zbl 0471.03019号 安德烈·伦斯基 2 1980 口头副本。 Zbl 0424.03003号 玛丽亚·诺瓦科夫斯卡 1 1980 有关引用矩阵的更多信息。 Zbl 0445.03010号 沃西基,雷萨德 1 1980 关于基本情况的格。 Zbl 0459.03003号 沃尼维茨,博古斯劳 1 1980 适用于带有MP和RN的S5的矩阵。 Zbl 0459.03009号 哈瓦内克(Jacek Hawranek) 1 1980 关于模态逻辑完备性的Sahlqvist定理的一个简单证明。 Zbl 0442.03019号 乔瓦尼·桑宾 1 1980 非退化分配格决定的结果的独立基础。 Zbl 0451.03001号 比莱卡·霍·达、马·戈扎塔 1 1980 朝向含义概念的来源。 Zbl 0463.03013号 Jacek K.卡宾斯基。 1 1980 部分代数的准等式逻辑。 Zbl 0491.08008号 哈伊纳尔·安德烈卡;彼得·伯迈斯特;伊斯特万·内梅蒂 1 1980 命题演算的参考矩阵语义。 Zbl 0435.03016号 Ryszard Wojcicki 10 1979 …还有38个文档 所有引用出版物 前5名被引用出版物 全部的 前5名283位作者引用 10 贾纳斯·Czelakowski 7 尼克·贝扎尼什维利 7 威瑟·迪奥比亚克 6 哈伊纳尔·安德雷卡 6 字体,Josep Maria 6 伊斯坦·内梅蒂 6 詹姆斯·拉弗瑞。 6 伊尔迪科·塞恩 5 古拉姆·贝扎尼什维利 5 托马索·莫拉希尼 5 唐·伦纳德·皮戈齐 5 沃尔夫冈·劳滕贝格 5 Wybraniec-Skardowska,Urszula B。 4 德米特里·布雷迪钦(Dmitri)ĭAleksandrovich 4 卡洛斯·卡莱罗 4 Cīrulis,杰尼斯 4 亚历克斯·西特金 4 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 4 加布里埃尔·普奇尼 4 MichałMarek,Stronkowski 4 迈克尔·维克托洛维奇(Michael Viktorovich) 三 布洛克,威廉·约翰尼斯 三 史蒂夫·吉安布罗内 三 琼·吉斯佩特 三 劳埃德·亨伯斯通 三 格热戈兹·马林诺夫斯基 三 牛顿,马奎斯·佩隆 三 谢尔盖·奥丁佐夫。 三 雅罗斯拉夫·伊戈列维奇·彼得鲁金 三 瓦西里·沙金 三 苏布拉曼尼亚,V.S。 三 文图拉·弗杜 三 弗兰克·沃尔特 2 皮耶罗·安德里亚·博纳蒂 2 塞拉尼、塞尔吉奥·阿图罗 2 亚历克桑德·瓦西尔·埃维奇·查格罗夫 2 希蒙·克莱博夫斯基 2 皮特·辛图拉 2 大卫·丘奇 2 Da Costa、Newton Carneiro Affonso 2 科斯塔·多森 2 迪迪埃·杜布瓦 2 乔恩·迈克尔·邓恩 2 保罗·埃格里 2 路易斯·法利尼亚斯·德尔·塞罗 2 米克洛斯·费伦齐 2 托马斯·麦考利·弗格森 2 罗伯特·伊恩·戈德布拉特 2 卢西亚诺·哈维尔·冈萨雷斯 2 瓦伦丁·F·戈兰科。 2 格里戈利亚(Grigolia)、露华兹(Revaz) 2 哈瓦内克(Jacek Hawranek) 2 Aleksandr Stepanovich Karpenko 2 马特乌斯·克洛诺夫斯基 2 马库斯·克拉希特 2 塔德乌兹·利塔克 2 塞尔吉奥·马塞利诺 2 罗伯特·肯尼思·梅耶 2 宫崎骏 2 卡塔兹纳州帕阿辛斯卡 2 亚历山德拉·帕尔米吉亚诺 2 安娜·帕兹托 2 阿列克谢·潘科(Alexej P.Pynko)。 2 杰玛·罗伯斯 2 理查德·西尔文 2 胜美佐佐木 2 托马斯·斯库拉。 2 卡塔兹纳州Słomczynska 2 兹比格涅夫·斯塔奇尼亚克 2 廷切夫、廷科 2 詹姆斯·特拉福德 2 阿奇尔·瓦尔齐(Achille C.Varzi)。 2 乔治·沃察达基斯 2 海因里希·西奥多 2 安德烈·维希·涅夫斯基 2 Wolniewicz、Bogusław 2 詹·齐格蒙特 1 罗马·阿迪伦。 1 雨果·阿尔伯克基 1 欧文·亨利·安妮莉斯 1 恩里克·安图内斯 1 维亚切斯拉夫·阿列克桑德罗维奇·阿尔塔莫诺夫 1 爱德华多·亚历杭德罗·巴里奥 1 巴扎诺夫(Valentin A.Bazhanov)。 1 比尔,Jc 1 贝克列米舍夫,列夫·D。 1 法比奥·贝里西玛 1 克劳斯·贝内克 1 Jan A.Bergstra。 1 乔尔·伯曼。 1 珍妮·伊夫·贝齐奥 1 霍华德·布莱尔。 1 科林·布隆菲尔德 1 玛丽亚·保拉(Maria Paola Bonacina) 1 布雷迪,罗斯·托马斯 1 克里斯蒂娜·莱菲斯特·布兰特利 1 马丁·邦德。 1 曼努埃拉·布萨尼切 1 沃伊切赫·巴斯科夫斯基 1 里卡多·卡费拉 …还有183位作者 全部的 前5名50种期刊被引用 81 Studia Logica公司 14 代数普遍性 12 哲学逻辑杂志 11 理论计算机科学 10 纯逻辑与应用逻辑年鉴 10 数学逻辑档案 9 泛逻辑 8 合成 8 符号逻辑述评 7 模糊集与系统 6 应用非经典逻辑杂志 5 逻辑与逻辑哲学 4 圣母院形式逻辑杂志 4 数学逻辑季刊(MLQ) 4 软计算 三 符号逻辑杂志 三 半群论坛 三 逻辑科公报 三 信息与计算 三 逻辑、语言与信息杂志 2 信息学报 2 巴洛克大学学报。山楂(Facultas Rerum Naturalium)。数学软件 2 美国数学学会会刊 2 符号计算杂志 2 俄罗斯数学 2 埃尔肯特尼斯 2 应用逻辑杂志 2 程序设计中的逻辑和代数方法杂志 2 Logicheskie Issledovaniya公司 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 国际理论物理杂志 1 数学进展 1 代数与逻辑 1 Annali di Matematica Pura ed Applicata公司。四分之一系列 1 纯代数与应用代数杂志 1 苏联数学杂志 1 西伯利亚数学杂志 1 美国数学学会会刊 1 数学社会科学 1 物理D 1 自动推理杂志 1 国际智能系统杂志 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 Indagationes Mathematicae公司。新系列 1 离散数学科学与密码学杂志 1 Vestnik Novosibirskogo Gosudarstennogo大学。塞里亚:Matematika、Mekhanika、Informatika 1 物理学基础 1 切比雪夫斯基?斯博尼克 1 亚欧数学杂志 1 欧洲数学杂志 全部的 前5名13个领域引用 248 数学逻辑和基础(03-XX) 36 阶、格、有序代数结构(06-XX) 29 一般代数系统(08-XX) 29 计算机科学(68至XX) 10 历史和传记(01-XX) 6 一般性和全局性主题;集合(00-XX) 三 范畴理论;同调代数(18-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 群论与推广(20-XX) 2 一般拓扑结构(54至XX) 2 量子理论(81-XX) 1 结合环与代数(16-XX) 1 数值分析(65-XX) 按年份列出的引文