Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 简称: Z.数学。Logik Grundlagen数学。 出版商: VEB Deutscher Verlag der Wissenschaften,柏林 ISSN公司: 0044-3050 在线: http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870/期 继承人: 《数理逻辑季刊》 评论: 期刊;不再索引 已编制索引的文档: 1718出版物(1955–1992) 索引的引用: 2出版物参考文献45篇。 全部的 前5名最新问题 38第5-6号(1992年) 38,第4期(1992年) 38,第3号(1992年) 38,第2期(1992年) 38,第1期(1992年) 37,第6号(1991年) 37,第5号(1991年) 37,第4期(1991年) 37,第3期(1991年) 37,第2期(1991年) 37,第1期(1991年) 36,第6号(1990) 36,第5号(1990) 36,第4号(1990) 36,第3期(1990年) 36,第2期(1990年) 36,第1期(1990年) 35,第6号(1989) 35,第5号(1989) 35,第4号(1989) 35,第3期(1989年) 35,第2号(1989年) 35,第1期(1989年) 34,第6号(1988) 34,第5号(1988年) 341988年第4期 341988年第3期 34,第2期(1988年) 34,第1期(1988年) 33(1987) 32(1986) 31(1985) 30(1984) 29(1983) 28(1982) 27(1981) 26(1980) 25(1979) 24(1978) 23(1977) 22(1976) 21(1975) 20(1974) 19(1973) 18(1972) 17(1971) 16(1970年) 15(1969) 14(1968) 13(1967) 12(1966) 11(1965) 10(1964) 9(1963) 8(1962) 7(1961) 6(1960) 5(1959) 4(1958) 三(1957) 2(1956) 1(1955) 全部的 前5名作者 33 阿兰·罗斯 20 Deutsch,Michael S。 19 赫尔穆特·沃尔特 16 尤尔根·哈克 15 约翰·卢埃林·希克曼 14 库尔特·豪希尔德 14 沃尔夫冈·劳滕贝格 13 马丁·库尼里奇 12 Günter阿瑟 12 阿利斯泰尔·拉克伦。 12 安杰伊·奥利茨基 12 汉斯·罗勒 11 迪特尔·克劳亚 10 弗雷德里克·巴盖米尔 10 Herre,Heinrich先生 10 迈耶,罗伯特·肯尼斯 10 迪特里希·施瓦茨 9 唐尼,罗德尼·格雷厄姆 9 希尔伯特·莱维茨 9 托马斯·麦克劳林。 9 Hirokazu西村 9 彼得·沃彭卡 9 马丁·威斯 8 Sankappanavar、Hanamantagouda P。 8 卡尔·施罗德 8 康拉德·舒尔茨 8 彼得·斯塔克。 8 王浩 7 道格拉斯·苏思·布里奇斯 7 沃伊切赫·巴斯科夫斯基 7 克劳斯·迪特尔·德内克 7 埃里克·埃伦塔克 7 汉斯·戴特里赫克 7 凯撒,克劳斯·赫尔曼 7 格哈德·利什克 7 罗德·麦克贝思 7 佛朗哥·蒙塔格纳 7 尤根·施密特 7 格罗德·斯塔尔 7 弗拉德塔·瓦科维奇 6 J.理查德·布奇 6 罗伯特·A·布尔。 6 彼得·哈耶克 6 威廉·S·哈彻。 6 亨利克·科特拉斯基 6 胡格斯·勒布朗 6 阿尔伯特·A·马林。 6 约翰·R·米希尔。 6 比斯瓦姆巴赫 6 Šikić,ZvonimirŠ。 6 安东尼·索科尔 5 亚历山大·阿比安 5 曼弗雷德·阿姆布鲁斯特 5 保罗·阿克斯特 5 伯恩哈德·巴纳修斯基 5 约翰·克莱夫(John P.Cleave)。 5 Giangiacomo Gerla 5 伯恩哈德·戈泽(Bernhard G.Goetze)。 5 高尔基,福特·瓦格里斯 5 克劳斯·哈蒂格 5 保罗·E·霍华德。 5 秋叶神田 5 阿瑟·克鲁斯。 5 罗马人穆拉夫斯基 5 丹尼尔·亚伯拉罕·罗曼诺 5 布鲁诺·斯卡佩里尼 5 多尔夫·乌尔里奇 5 乔治·韦弗(George E.Weaver)。 4 Anapolitanos,酒神A。 4 诺伯特·布伦纳 4 安德烈亚·坎蒂尼 4 贾尼斯·西鲁利斯 4 Da Costa、Newton Carneiro Affonso 4 伯恩德·因戈·达恩 4 欧文·恩格尔 4 字体,Josep Maria 4 威廉斯·克莱默(Williams Kramer Forrest) 4 弗赖夫德斯、拉西什·毛尔蒂 4 鲁茨·海因多夫 4 罗兰·希尼翁 4 保罗·D·休克。 4 乔库什,卡尔·G·军。 4 海因茨·卡彭斯特 4 尤金·克莱伯格(Eugene M.Kleinberg)。 4 汉斯·克莱恩·勃宁 4 简·克拉契克 4 埃文格洛斯·康斯坦蒂努·克拉纳基斯 4 米查·玛丽安·克雷尼基 4 安德烈·库齐切夫(Andre Kuzichev,Aleksandrovich) 4 杰拉德·洛佩兹 4 大卫·克莱门·梅金森 4 所罗门·马库斯 4 沃尔特·纽默 4 米罗斯拉夫·诺沃顿 4 Pazdyka,Paweł 4 亨利·波戈泽尔斯基。 4 克劳斯·波托夫 4 玛丽安·博伊坎·波尔 4 之前,阿瑟·诺曼 4 埃哈德·奎瑟 …还有808位作者 全部的 前5名领域 1,302 数学逻辑和基础(03-XX) 83 阶、格、有序代数结构(06-XX) 83 计算机科学(68至XX) 53 一般代数系统(08-XX) 32 一般拓扑结构(54至XX) 30 范畴理论;同调代数(18-XX) 28 组合数学(05-XX) 25 群论与推广(20-XX) 18 数论(11-XX) 17 几何形状(51至XX) 15 场论和多项式(12-XX) 13 实际功能(26年X月X日) 13 信息与通信理论、电路(94-XX) 9 概率论与随机过程(60-XX) 8 测量和集成(28-XX) 6 功能分析(46倍X倍) 5 交换代数(13-XX) 4 历史与传记(01-XX) 4 代数几何(14-XX) 4 结合环与代数(16-XX) 三 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 复变量的函数(30年XX月) 2 代数拓扑(55-XX) 2 流形和细胞复合体(57至XX) 1 势能理论(31-XX) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 近似和展开(41至XX) 1 抽象谐波分析(43至XX) 1 算子理论(47-XX) 1 变分法与最优控制;最优化(49至XX) 1 微分几何(53至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 894出版物有被引用5720中的次4466文件 引用人▼ 年份▼ 弱二阶算术和有限自动机。 兹伯利0103.24705 J.Richard,Büchi 328 1960 模态逻辑的语义分析。一: 正常命题演算。 Zbl 0118.01305号 克里普克,S.A。 219 1963 关于模糊逻辑。多值推理规则。 Zbl 0435.03020号 简·帕维尔卡 192 1979 递归可枚举集合的类和不可解的程度。 Zbl 0181.30504号 D.A.马丁。 106 1966 关于模糊逻辑。三、 一些多值命题演算的语义完备性。 兹比尔0446.03016 简·帕维尔卡 81 1979 创意套装。 Zbl 0065.00105号 约翰·米希尔 76 1955 映射到区间和多值量的模糊隶属度。 Zbl 0334.02011号 格拉坦-吉尼斯,I。 76 1976 关于模糊逻辑。二、。命题演算的丰富剩余格和语义。 Zbl 0446.03015号 简·帕维尔卡 75 1979 关于具有两个变量的语言。 Zbl 0343.0209号 迈克尔·莫蒂默 71 1975 整数集的可约性和完备性。 Zbl 0108.00602号 理查德·弗里德伯格(Richard M.Friedberg)。;Hartley jun罗杰斯。 64 1959 反射原理及其在建立公理系统复杂性中的应用。 Zbl 0167.01302号 乔治·克雷塞尔;A.利维。 59 1968 数字理论。一、。 Zbl 0295.02025号 于尔肖夫(Yu Ershov)。L。 57 1973 可解项的函数特征。 兹伯利0479.03006 M.科波。;Dezani-Ciancaglini,M。;B.Venneri。 57 1981 S4和S5之间的模态逻辑。 Zbl 0178.30801号 达米特,M.A.E。;E.J.莱蒙。 51 1959 一元广义谱。 Zbl 0317.02054号 罗纳德·费金 50 1975 Hüllensysteme und Erweiterung von Quasi-Ordnugen公司。 Zbl 0073.26904号 伯恩哈德·巴纳修斯基 46 1956 超免疫集的程度。 Zbl 0216.29102号 韦伯·米勒;Martin,医学博士。 45 1968 关于真理形式理论的注释。 Zbl 0661.03043号 安德烈亚·坎蒂尼 43 1989 对可构式虚假的语义研究。 Zbl 0181.00901号 托马森·R·H·。 38 1969 有限的部分序量词。 Zbl 0193.29405号 Enderton,H.B.公司。 37 1970 对部分递归函数的有效操作。 Zbl 0068.24706号 J.米希尔。;谢泼德森,J.C。 36 1955 Lambda微积分模型和可扩展性。 Zbl 0453.03015号 辛德利,R。;朱塞佩·隆戈 35 1980 Dummett的LC及其扩展的代数完备性结果。 Zbl 0252.02018号 J.Michael Dunn;罗伯特·梅耶(Robert K.Meyer)。 34 1971 选择意味着排除中间派。 Zbl 0387.03017号 N.古德曼。;J.米希尔。 34 1978 不可解度的分布初始段。 Zbl 0176.27803号 拉克伦,A.H。 31 1968 Lambek句法演算的完备性结果。 Zbl 0594.03015号 沃伊切赫·巴斯科夫斯基 31 1986 包含S4.3的逻辑。 Zbl 0228.02011 很好,Kit 30 1971 算术可约性。一、。 兹比尔0229.02037 艾伦·L·塞尔曼。 30 1971 一元基本形式系统。 Zbl 0218.02030号 R.M.斯穆利扬。 30 1961 关于实变量的可计算函数的简单定义——及其对复变量函数的应用。 兹比尔0323.02049 玛丽安·博伊坎·波尔;杰罗姆·考德威尔 30 1975 数字理论。三、。 Zbl 0374.02028号 于尔肖夫(Yu Ershov)。L。 30 1977 量化命题演算和有界算术片段。 Zbl 0696.03031号 简·克拉契克;帕维尔·普德拉克 29 1990 一类一阶公式的判定问题,其中所有析取都是二元的。 Zbl 0162.31601号 Krom,M.R。 28 1967 Minimale Gruppen公司。 Zbl 0312.02045号 约阿希姆·雷内克 28 1975 递归可枚举集和回溯函数。 兹比尔0111.00904 耶茨,C.E.M。 28 1962 以次剩余格为特征的逻辑。 Zbl 0347.02040号 乔治·爱泼斯坦;阿尔弗雷德·霍恩 27 1976 S4.3的所有法向延伸具有有限模型特性。 Zbl 0154.00407 R.A.布尔。 26 1966 关于模态逻辑中的一些完备性定理。 Zbl 0295.0204号 Makinson博士。 26 1966 关于正等价关系的注记。 Zbl 0625.03021号 拉克伦,A.H。 25 1987 给定无法解决程度的机器配置和单词问题。 Zbl 0161.00803号 谢泼德森,J.C。 24 1965 对Lambek演算框架的简要概述。 兹比尔0793.03025 科斯塔·多森 23 1992 矛盾的逻辑。 Zbl 0467.03019号 尼古拉斯·古德曼。 23 1981 L'indeformabilite des rélations et multi rérations二进制文件。 兹伯利0397.04002 杰拉德·洛佩兹 23 1978 一阶无限时序逻辑的序列演算。 Zbl 0611.03010号 Hiroya Kawai 23 1987 超学说、自然演绎和贝克条件。 Zbl 0565.03032号 罗伯特·A·G·西利。 22 1983 一些随机性测试的精确表达式。 Zbl 0464.60004号 盖奇,彼得 22 1980 一元模态量化理论的不确定性。 Zbl 0111.01101号 克里普克,S.A。 22 1962 关于关联逻辑代数模型的注释。 Zbl 0696.03004号 字体,Josep M。;冈萨洛·罗德里格斯 21 1990 代数闭分配格和存在闭分配格。 Zbl 0425.06007号 朱尔格·施密德 21 1979 不精确谓词逻辑中逻辑结果的概念。 Zbl 0299.02015 约翰·克莱夫(John P.Cleave)。 20 1974 Grothendieck拓扑作为几何形态。 Zbl 0474.03018号 罗伯特·戈德布拉特。 20 1981 双免疫集的度数。 Zbl 0184.0202号 Jockusch,C.G.jun.(乔库什,C.G.jun.)。 20 1969 相关解释。 Zbl 0121.25501号 奥利,S。 20 1961 Eine Klassifikation der \(\varepsilon_0\)-rekursiven Funktitonen。((\varepsilon_0)递归函数的分类。)。 Zbl 0232.02028号 赫尔穆特·施维赫滕贝格 19 1971 米塞斯随机序列概念的新解释。 兹伯利0158.00601 洛夫兰,D。 19 1966 递归函数的分类。 Zbl 0247.02037号 阿尔伯特·R·迈耶。;丹尼斯·里奇(Dennis M.Ritchie)。 19 1972 Zur Axiomatik der Mengenlehre(基金会和澳大利亚)。 Zbl 0079.07605号 斯佩克,恩斯特 19 1957 句法范畴理论中的一些判定问题。 Zbl 0499.03010号 沃伊切赫·巴斯科夫斯基 19 1982 Kettenbedingen的Rekursive Algebren。 Zbl 0317.02050号 鲍尔,沃尔特 19 1974 具有对偶格自同态的Heyting代数。 Zbl 0633.06005号 Sankappanavar、Hanamantagouda P。 18 1987 有限结构上的二阶和归纳可定义性。 兹伯利0652.03032 米歇尔·德·罗杰蒙特 18 1987 根据二元关系对基数2、3、4和(n-1)的限制重建二元关系。一、。 Zbl 0799.04001号 杰拉德·洛佩兹;克莱尔·劳齐 18 1992 Das Repäsentantesproblem im Prädikatenkalkül der ersten Stufe mit Identität。 Zbl 0066.25702号 Günter阿瑟 18 1955 具有严格含义的弱逻辑。 Zbl 0645.03004号 乔瓦娜·科尔西 17 1987 多值模态命题演算。 Zbl 0661.03011号 帕斯卡·奥斯特曼 17 1988 Lambek句法演算与直觉主义线性命题逻辑的比较。 Zbl 0719.03005号 阿布鲁西,V.米歇尔 17 1990 递归可枚举度的子格。 Zbl 0181.01301号 S.K.托马森。 17 1971 实域的纯超越扩张的不可判定性。 Zbl 0221.02034号 拉斐尔·罗宾逊。 17 1964 频谱层次结构。 兹比尔0311.02020 罗纳德·费金 17 1975 关于实变量的可计算函数的定义。 Zbl 0359.02029号 谢泼德森,J.C。 17 1976 关于递归不可解度的子序。 Zbl 0118.25202号 萨克斯,G.E。 17 1961 确定性弱公理和分析子系统。一: \(\Delta ^0_ 2\)游戏。 Zbl 0729.03032号 田中,川崎 16 1990 积分指数函数恒等式问题的求解。 Zbl 0188.32802号 D.理查森。 16 1969 强制在算术层次问题中的一些应用。 Zbl 0191.30601号 P.G.欣曼。 16 1969 Methoden zur Axiomatisierung beliebiger Aussagen-und Prädikatenkalküle方法。 Zbl 0066.25604号 卡尔·施罗德 16 1955 鲁丁·凯斯勒勋章(Ordre de Rudin-Keisler et poids dans les theories stables)。 Zbl 0497.03020号 丹尼尔·拉斯卡尔 16 1982 正交模逻辑。 Zbl 0373.02030号 古德伦·坎巴赫 16 1974 伪补Ockham代数和DeMorgan代数。 Zbl 0612.06009号 Sankappanavar,H.P。 16 1986 全能原理,König引理和Hahn-Banach定理。 Zbl 0684.03024号 石原、Hajime 15 1990 有限归纳和满足类。 Zbl 0622.03025号 亨里克·科特拉斯基 15 1986 带否定蕴涵系统(E_{barI})的一种判定过程。 Zbl 0143.24902号 贝尔纳普,N.D.jun。;J.R.华莱士。 15 1965 关于递归线性阶的选择集和强非平凡自嵌入。 Zbl 0654.03032号 罗德尼·G·唐尼。;迈克尔·F·摩西。 14 1989 单向Lambek范畴语法和上下文无关语法的等价性。 Zbl 0559.68063号 沃伊切赫·巴斯科夫斯基 14 1985 优先级方法。一、。 Zbl 0153.31601号 拉克伦,A.H。 14 1967 递归可枚举集合的二分法。 Zbl 0217.01202号 罗宾逊,R.W。 14 1968 应用概念定义预链接的约束定义定义了“统一”。 Zbl 0499.03019号 莫里斯·普泽特 14 1981 Konfinalität。 Zbl 0067.02903号 约翰·施密特 14 1955 伪补DeMorgan代数的主同余。 Zbl 0624.06016号 Sankappanavar、Hanamantagouda P。 14 1987 金融代数逻辑。 Zbl 0661.03052号 罗杰·马杜克斯。 13 1989 拓扑结构Maximalprinziien。(拓扑最大值原理)。 Zbl 0639.49006号 诺伯特·布伦纳 13 1987 串联存在论的可定义性和该理论的不可判定扩展。 Zbl 0635.03006号 J.Richard,Büchi;史蒂文·森格 13 1988 正确的(Sigma_2)枚举度。 Zbl 0667.03034号 库珀,S.B。;科佩斯塔克,C.S。 13 1988 根据二元关系对基数2、3、4和(n-1)的限制重建二元关系。二、。 Zbl 0799.04002号 杰拉德·洛佩兹;克莱尔·劳齐 13 1992 包含一个变量的额外公理方案的超构造命题计算。 Zbl 0246.02020号 J.G.安德森。 13 1972 多元MV-代数。 Zbl 0488.03035号 迪特里希·施瓦茨 13 1980 归纳推理和可计算的一元数。 兹伯利0541.03025 弗赖夫德斯,Rásinš;Efim B.金伯。;罗尔夫·维哈根 13 1982 Bestimmung der Ordnung maximaler Klassen von Funktitionen der k-wertigen Logik公司。 Zbl 0401.03008号 Lau,迪特琳德 13 1978 在定义等价和解释下保留的属性。 Zbl 0408.03028号 查尔斯·品特(Charles C.Pinter)。 13 1978 关于非定义概念的形式化。 Zbl 0415.03019号 艾伯特·胡格威伊斯 13 1979 非交换直觉主义线性逻辑。 Zbl 0810.03005号 V.Michele Abrusci 12 1990 对Lambek演算框架的简要概述。 Zbl 0793.03025号 科斯塔·多森 23 1992 根据二元关系对基数2、3、4和(n-1)的限制重建二元关系。一、。 Zbl 0799.04001号 杰拉德·洛佩兹;克莱尔·劳齐 18 1992 根据二元关系对基数2、3、4和(n-1)的限制重建二元关系。二、。 Zbl 0799.04002号 杰拉德·洛佩兹;克莱尔·劳齐 13 1992 巴维尔卡逻辑中超积的基本定理。 Zbl 0798.03021号 英明生 12 1992 不带\(*\)的命题动态逻辑的割消。 Zbl 0793.03021号 罗伯特·A·布尔。 9 1992 紧性、Löwenheim-Skolem性质和真值格的直积。 兹比尔0798.03022 英明生 6 1992 部分有序连接词。 Zbl 0798.0304号 加布里埃尔·桑德;Väänänen,佐科 6 1992 重建没有钻石的比赛。(无钻石之旅的重建。) Zbl 0795.05102号 塞浦路斯Gnanvo;伊利,皮埃尔 5 1992 带近似算子的偏分类的蕴涵层次和无类型理论。 Zbl 0793.03067号 安德烈亚·坎蒂尼 5 1992 偏序集的表示。 兹伯利0793.06003 程永晨;保拉·坎普 4 1992 忠实地约束和重建锁链和无限关系。(限制尊重和重建内部关系。) Zbl 0795.05103号 让·纪尧姆·哈根多夫 4 1992 具有邻域语义的量化模态逻辑。 Zbl 0794.03025号 盖尔·瓦戈 4 1992 直觉线性逻辑的判断演算:证明理论和语义。 兹比尔0739.03008 西尔维奥·瓦伦蒂尼 三 1992 递归Baire分类和快速函数。 Zbl 0798.03042号 克里斯蒂安·卡鲁德;加布里埃尔·伊斯特拉特;马吕斯·齐曼德 三 1992 无选择的代数闭包。 Zbl 0739.03027号 伯恩哈德·巴纳修斯基 2 1992 三元运算是构造平面几何的基本概念。二、。 Zbl 0739.03033号 维克托·潘布奇安 2 1992 有限替换和有限Hilbert式公理化。 Zbl 0813.03005号 B.赫尔曼。;劳滕贝格,W。 2 1992 Gentzen算术公式中的可证明逻辑。 Zbl 0794.03079号 保罗·金蒂里尼 2 1992 向量空间某些理论中向量上量词的消除。 Zbl 0794.03019号 安德烈·库齐切夫。 2 1992 关于狭义关系的传递壳。 Zbl 0798.03051号 卡尔·海因茨·迪纳 2 1992 集合论中有限制的泛量化的决策问题和基础公理。 Zbl 0794.03016号 佛朗哥·帕拉米奥;阿尔贝托,Policriti 2 1992 有限损伤的拓扑框架。 兹伯利0793.03048 Kyriakos Kontostathis公司 2 1992 一个新的关系组合定理及其应用。 Zbl 0793.03004号 孙志伟 2 1992 绝对连续双概率模型的解析完备性定理。 Zbl 0798.03039号 Đor jad ević,Radosav S。 2 1992 关于关联S5扩张下降链的不完全性。 Zbl 0812.03010号 多尔夫·乌尔里奇 1 1992 复杂性类布尔代数中的一些拉姆齐理论。 Zbl 0793.04002号 格雷戈里·麦科姆。 1 1992 某些强制概念的形式主义。 Zbl 0798.03053号 彼得·科斯米德 1 1992 函数图灵可约性的界。 Zbl 0798.03045号 卡罗尔·哈巴特 1 1992 在不可访问的Mahlo数上使用\(\psi\)-函数的序数符号系统。 Zbl 0793.03062号 赫尔穆特·普菲弗 1 1992 兰贝基函子的可定义性。 Zbl 0794.03041号 沃伊切赫Zielonka 1 1992 基于Topos的语义,用于带有强否定的构造逻辑。 兹伯利0798.03063 巴巴拉·科隆 1 1992 罗素对选择公理的替代。 Zbl 0793.03053号 诺伯特·布伦纳;保罗·霍华德 1 1992 选择公理的两个拓扑等价物。 Zbl 0797.04004号 埃里克·谢赫特 1 1992 关于经典逻辑的一些解释。 Zbl 0794.03011号 布拉尼斯拉夫·博里奇奇。 1 1992 在iterated\(\omega\)-规则上。 Zbl 0798.03057号 格热戈兹·米查尔斯基 1 1992 初等拓扑理论中Martin-Löf类型理论的一种解释。 Zbl 0798.03059号 安妮·普雷勒 1 1992 直觉主义命题逻辑的某些片段相对于克里普克框架的表现力。 Zbl 0724.03008号 罗德伯格,P.H。 1 1992 次一致逻辑P\({mathcal T}\)。 Zbl 0741.03013号 牛顿·C·A·达·科斯塔。;苏布拉曼尼亚,V.S。;卡洛·瓦戈 11 1991 通过基本子结构在集合理论拓扑中的一种构造。 Zbl 0769.54013号 英戈·班德洛 10 1991 半最大集的跳跃。 Zbl 0739.03026号 罗德·唐尼;斯托布,迈克 8 1991 梅德韦杰夫格的一些商格。 Zbl 0702.03021号 安德烈·索比 8 1991 Stone空间的序结构和(T_D)-分离公理。 Zbl 0753.06010号 梅·盖尔克 7 1991 多值推理的演绎定理。 Zbl 0772.03007号 英明生 7 1991 注释逻辑的注释。 Zbl 0846.03010号 牛顿·C·A·达·科斯塔。;Jair M.Abe。;苏布拉曼尼亚,V.S。 6 1991 关于Rosser的可证明谓词。 Zbl 0726.03042号 Shavrukov,V.Yu。 6 1991 斯通半格的模范伴侣。 Zbl 0759.03020号 克里斯托夫·格伯;朱尔格·施密德 4 1991 有效的不可分割性。 兹比尔0741.03021 凯斯,约翰 4 1991 各种半伪补格。 Zbl 0769.06007号 Sankappanavar、Hanamantagouda P。 4 1991 半伪完备Ockham代数的主同余及其应用。 Zbl 0774.06007号 Sankappanavar、Hanamantagouda P。 三 1991 非优先性的拓扑框架。 Zbl 0741.03024号 Kontostathis,K。 三 1991 有界Kripkean高度的一阶中间逻辑的公理化。二、。 Zbl 0734.03019号 Shin Yokota;第一 三 1991 关于Pavelka模糊逻辑的一点注记。 Zbl 0743.03017号 埃斯科·图伦 2 1991 关于递归饱和模型的实子集的注记。 Zbl 0743.03029号 阿萨纳西奥斯·祖瓦拉斯 2 1991 二值半群连接词的通用逻辑。 Zbl 0741.03003号 沃尔夫冈·劳滕贝格 2 1991 \(mathcal F)-乘数和分配格的局部化。二、。 Zbl 0756.06004号 乔治·乔治斯库 2 1991 部分枚举集范畴上内函子的构造性。一: 一般结果。 兹伯利07409.035 安德烈·奥利基 2 1991 部分枚举集范畴上内函子的构造性。二: 一些重要的例子。 Zbl 0768.03031号 安德烈·奥利基 2 1991 布尔值Dedekind域。 Zbl 0732.03031号 西村,广和祖 2 1991 一些布尔值交换代数。 Zbl 0751.03017号 Hirokazu西村 1 1991 某些一致空间的非标准外壳在IST中的表示。 兹比尔0746.54022 内德·瓦基尔 1 1991 可定义非范畴域的构造。 Zbl 0755.03025号 塔内利·休斯科宁 1 1991 自反二元多重关系的区间集。(L'ensemble des intervalles d'une多重关系二进制和自反。) Zbl 0742.04002号 伊利,皮埃尔 1 1991 关于笛卡尔闭包的备注。 兹比尔0773.03029 你好,劳里;Micha Krynicki 1 1991 抽象数据类型和类型理论:作为类型的理论。 Zbl 0701.68078号 de Queiroz,Ruy J.G.B。;托马斯·S·E·迈鲍姆。 1 1991 布尔半群代数中的链。 Zbl 0702.06006号 鲁茨·海因多夫 1 1991 代数的布尔值分析与拓扑约简理论之间的一些联系。 Zbl 0703.46040号 Hirokazu西村 1 1991 完全词典顺序的极端选择。 兹比尔0724.03031 玛丽安·莫里隆 1 1991 代数中的非标准方法和有限条件。 Zbl 0741.03029号 马特·因萨尔 1 1991 基本本体子系统的翻译和分离定理的语法证明。 Zbl 0738.03010号 Mitio Takano公司 1 1991 关于弱张猜想的一个变体。 Zbl 0764.03017号 Kanai、Yasuo 1 1991 布尔值代数几何基础。 兹比尔0763.03029 Hirokazu西村 1 1991 宇宙运行理论。一、。 Zbl 0725.03029号 纳西索·加西亚。 1 1991 量化命题演算和有界算术的片段。 Zbl 0696.03031号 简·克拉契克;帕维尔·普德拉克 29 1990 关于关联逻辑代数模型的注释。 Zbl 0696.03004号 字体,Josep M。;冈萨洛·罗德里格斯 21 1990 Lambek句法演算与直觉主义线性命题逻辑的比较。 Zbl 0719.03005号 V.Michele Abrusci 17 1990 确定性弱公理和分析子系统。一: \(\Delta ^0_ 2\)游戏。 Zbl 0729.03032号 田中,川崎 16 1990 全能原理,König引理和Hahn-Banach定理。 Zbl 0684.03024号 石原、Hajime 15 1990 非交换直觉主义线性逻辑。 Zbl 0810.03005号 V.Michele Abrusci 12 1990 带有(n)元连接词的模态逻辑。 Zbl 0729.03008号 吉拉迪,S。;梅洛尼,G.C。 10 1990 更多关于语言归纳与满意度课程。 Zbl 0723.03033号 亨利克·科特拉斯基;拉塔奇克,齐格蒙特 6 1990 部分订单的有效扩展。 Zbl 0692.03028号 德夫·库马尔·罗伊 4 1990 \({mathcal F})-乘子与Hilbert代数的局部化。 Zbl 0687.06009号 布什内格、杜米特鲁 三 1990 证明理论和计算机编程。 兹伯利0691.03042 de Queiroz,Ruy J.G.B。;托马斯·S·E·迈鲍姆。 三 1990 排列和分层公式-一个保存定理。 Zbl 0717.03019号 托马斯·福斯特 三 1990 更短的证据:双峰调查。 兹伯利0697.03033 亚历山德拉·卡博尼;佛朗哥·蒙塔格纳 2 1990 由部分顺序确定的量词。 Zbl 0712.03025号 Micha Krynicki 2 1990 关于Günter-Asser的一个定理。 Zbl 0687.03019号 克里斯蒂安·卡鲁德;塞恩,莉拉 2 1990 递归可枚举集的非平凡分割的跳跃。 Zbl 0687.03021号 迈克尔·英格拉西娅(Michael A.Ingrassia)。;斯泰芬·伦普 2 1990 Ono完备性结果的扩展。 Zbl 0691.03014号 铃木,Nobu-Yuki 2 1990 多值模态逻辑:使用和谓词演算。 Zbl 0691.03009号 帕斯卡·奥斯特曼 2 1990 基本序列系统上组合性的一些推广。 Zbl 0691.03028号 诺里亚·卡多塔;茨瓦木青山 2 1990 与普通集合论相比,被视为超类规则的分层积极理解。 Zbl 0696.03026号 罗兰·希尼翁 2 1990 一些非标准方法应用于分配格。 Zbl 0711.03031号 麦哲尔克;马特·因萨尔;克劳斯·凯撒 2 1990 无限基数上过滤器的正常深度。 Zbl 0738.04001号 迪普里斯科,C.A。;M·富勒。;J.M.亨勒。 1 1990 模糊自然演绎。 Zbl 0669.03015号 Giangiacomo Gerla;罗伯托·托托拉 1 1990 关于带函数符号的直觉逻辑存在性的注记。 Zbl 0671.03038号 杜尔曼,L.M。 1 1990 关于有界真度的一些结果。 Zbl 0714.03036号 安吉尔五世·迪切夫。 1 1990 某些三值命题逻辑的希尔伯特型公理化。 Zbl 0721.03010号 安德烈·兹布雷泽兹尼 1 1990 (Z[x_1,\cdot\cdot\ cdot,x_n]\)的算法方面以及平铺问题的应用。 兹比尔0728.11069 A.克利维奥。 1 1990 关于部分枚举集的某些类别。 Zbl 0732.03037号 安德烈·奥利基 1 1990 …还有794个文档 所有引用出版物 前5名被引用出版物 全部的 前5名被3610位作者引用 57 唐尼,罗德尼·格雷厄姆 37 弗兰克·斯蒂芬 34 安德烈·索比 26 理查德·阿诺德·肖尔 25 曼弗雷德·德罗斯特 24 Giangiacomo Gerla 23 桑杰·贾恩 23 乔库什,卡尔·G·军。 22 维勒姆诺瓦克 21 维莱姆,维科迪尔 20 斯泰芬·伦普 19 诺里希罗·卡米德 18 拉迪姆·Bělohlávek 18 尤塞夫·布达布乌斯 18 奥利维·芬克尔 17 道格拉斯·苏思·布里奇斯 17 安德烈·奥特弗里德·涅斯 17 玛丽亚·伊万诺娃·索斯科娃 17 迈克尔·维克托洛维奇(Michael Viktorovich) 16 弗朗西斯科·埃斯特瓦 16 齐格弗里德·戈特瓦尔德 16 彼得·哈耶克 16 杰弗里·布赖恩·雷梅尔 15 古拉姆·贝扎尼什维利 15 库兹涅佐夫(Kuznetsov,Stepan L'vovich) 15 Joseph S.米勒。 15 塞巴斯蒂安·特维恩。 15 海因里希·西奥多 14 路易斯·戈多 14 诺姆·格林伯格 14 斯拉曼,西奥多·A。 14 塔克西斯,埃利夫瑟里奥斯 14 徐,杨 13 尼古拉·巴热诺夫(Nikola Bazhenov)ĭAlekseevich 13 列夫·贝克莱米舍夫。 13 石原、Hajime 13 曼纽尔·勒曼 13 拉里萨·勒沃夫娜·马克西莫娃 13 罗素·G·米勒。 13 迪特尔·斯普林 12 尤里·安德鲁斯 12 贝德雷加,本杰明·雷内·卡莱哈斯 12 克里斯蒂安·S·卡卢德。 12 塞拉尼、塞尔吉奥·阿图罗 12 库珀、斯图亚特·巴里 12 劳埃德·亨伯斯通 12 罗伯特·索尔。 12 埃斯科·图伦 12 王国军 11 彼得·乔拉克(Peter A.Cholak)。 11 戴格泰夫,A.N。 11 罗纳德·费金 11 詹姆斯·拉夫特里。 11 安德烈·斯克洛夫 11 莫西·亚亚科夫·瓦尔迪 11 弗兰克·沃尔特 10 尼克·贝扎尼什维利 10 瓦斯科·布拉特卡 10 安德烈亚·坎蒂尼 10 马里亚纽拉州Dezani-Ciancaglini 10 马塞尔·欧内 10 字体,Josep Maria 10 保罗·加斯丁 10 罗伯特·伊恩·戈德布拉特 10 埃里希·格拉德尔 10 保罗·E·霍华德。 10 阿利斯泰尔·拉克伦。 10 约翰·安德烈亚斯·马考斯基 10 米茨,格里戈里ĭEfroimovich 10 佛朗哥·蒙塔格纳 10 丹尼尔·蒙迪奇 10 维克托·勒沃维奇·塞利瓦诺夫 10 克劳斯·维赫劳赫 9 克劳斯Ambos-Spies 9 阿卜杜拉希姆·布萨伊里 9 Bustince Sola,汉贝托 9 沃伊切赫·巴斯科夫斯基 9 凯斯,约翰 9 Faĭzrahmanov,Marat Khaidarovich 9 赫里斯托·甘切夫(Hristo A.Ganchev)。 9 梅·盖尔克 9 沃尔克·哈尔巴赫 9 Joseph Yehuda Halpern 9 约翰·哈丁 9 Harrington,Leo A。 9 托马斯·麦克劳林。 9 阿里·摩尔哈西 9 卡洛·尼古莱 9 罗兰·什·奥马纳泽。 9 玛丽安·博伊坎·波尔 9 沃尔夫冈·劳滕贝格 9 彼得·迈克尔·舒斯特 9 沃尔夫冈·托马斯 9 英明生 8 Marat M.阿尔斯兰诺夫。 8 阿诺·阿夫隆 8 博利格,贝内迪克特 8 所罗门·费弗曼 8 安德烈·弗洛洛夫 8 西尔维奥·吉拉尔迪 …还有3510名作者 全部的 前5名319种期刊引用 453 符号逻辑杂志 317 理论计算机科学 311 纯逻辑与应用逻辑年鉴 266 Studia Logica公司 144 模糊集与系统 104 哲学逻辑杂志 102 《数理逻辑季刊》 100 数学逻辑档案 82 代数普遍性 74 计算机与系统科学杂志 74 美国数学学会会刊 74 信息与计算 68 代数与逻辑 67 圣母院形式逻辑期刊 65 符号逻辑公报 55 Archive für Mathematische Logik und Grundlagenforschung公司 55 符号逻辑述评 53 美国数学学会会刊 42 以色列数学杂志 42 信息科学 41 西伯利亚数学杂志 41 应用非经典逻辑杂志 34 人工智能 33 合成 32 订单 32 国际近似推理杂志 30 软计算 29 数学笔记 29 逻辑、语言与信息杂志 26 苏联数学杂志 24 骨髓间充质干细胞。计算机科学中的数学结构 23 计算机科学中的逻辑方法 22 离散数学 22 泛逻辑 20 数学进展 20 捷克斯洛伐克数学杂志 20 拓扑及其应用 20 计算系统理论 18 数学系统理论 18 数学科学杂志(纽约) 18 应用逻辑杂志 17 数学逻辑杂志 16 纯粹与应用代数杂志 16 美国数学学会公报 15 信息处理信件 15 凯贝内提卡 15 数学年刊 15 Mathematische Nachrichten数学 15 自动推理杂志 15 国际计算机科学基础杂志 15 Indagationes Mathematicae公司。新系列 14 国际通用系统杂志 14 国际理论物理杂志 13 代数杂志 13 康普特斯·伦德斯。数学竞赛。巴黎科学院 12 数学档案馆 12 逻辑科公报 12 数学与人工智能年鉴 12 逻辑与逻辑哲学 12 可计算性 11 符号计算杂志 10 信息学报 10 逻辑历史与哲学 10 洛巴切夫斯基数学杂志 10 ACM计算逻辑事务 9 代数通讯 9 计算机与数学及其应用 9 离散应用数学 9 斯洛伐克数学 9 数学期刊 9 国际代数与计算杂志 9 俄罗斯数学 8 京都大学数学科学研究所出版物 8 帕多瓦大学Rendiconti del Seminario Matematico della Universityádi Padova 8 半群论坛 8 埃尔肯特尼斯 8 逻辑与代数程序设计杂志 8 亚欧数学杂志 8 程序设计中的逻辑和代数方法杂志 7 理论与决策 7 欧洲组合数学杂志 7 复杂性杂志 7 函数编程杂志 7 RAIRO公司。理论信息学及其应用 6 数学成绩 6 控制论与系统分析 6 应用分类结构 6 智能与模糊系统杂志 6 Logicheskie Issledovaniya公司 5 澳大利亚数学学会公报 5 数学基础 5 匈牙利数学学报 5 中欧数学杂志 5 伊朗模糊系统杂志 5 Steklov数学研究所学报 4 数学分析与应用杂志 4 数学物理杂志 4 Annali di Matematica Pura ed Applicata公司。四分之一系列 4 数学合成 4 经济理论杂志 …还有219种期刊 全部的 前5名52个领域被引用 3,483 数学逻辑和基础(03-XX) 1,200 计算机科学(68至XX) 450 阶、格、有序代数结构(06-XX) 160 一般代数系统(08-XX) 127 组合数学(05-XX) 127 一般拓扑结构(54至XX) 110 群论与推广(20-XX) 92 范畴理论;同调代数(18-XX) 91 历史与传记(01-XX) 80 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 60 数论(11-XX) 43 场论和多项式(12-XX) 32 实际功能(26年X月X日) 32 量子理论(81-XX) 29 信息与通信理论、电路(94-XX) 27 结合环与代数(16-XX) 26 一般性和全局性主题;集合(00-XX) 26 交换代数(13-XX) 26 几何形状(51至XX) 24 功能分析(46倍X倍) 20 概率论与随机过程(60-XX) 19 算子理论(47-XX) 18 统计学(62-XX) 16 测量和集成(28-XX) 15 运筹学、数学规划(90-XX) 15 系统论;控制(93至XX) 14 动力系统和遍历理论(37至XX) 12 拓扑群、李群(22-XX) 11 数值分析(65-XX) 10 变分法与最优控制;最优化(49至XX) 9 复变量的函数(30年XX月) 8 代数几何(14-XX) 8 生物学和其他自然科学(92-XX) 7 线性代数和多线性代数;矩阵理论(15-XX) 7 凸和离散几何(52至XX) 5 偏微分方程(35-XX) 5 近似和展开(41至XX) 4 相对论和引力理论(83至XX) 三 整体分析,流形分析(58至XX) 2 势能理论(31-XX) 2 常微分方程(34-XX) 2 差分和函数方程(39至XX) 2 欧氏空间的调和分析(42至XX) 2 流形和细胞复合体(57至XX) 2 粒子和系统力学(70-XX) 1 非结合环与代数(17-XX) 1 几个复变量和分析空间(32-XX) 1 特殊功能(33至XX) 1 序列、级数、可和性(40-XX) 1 流体力学(76-XX) 1 统计力学,物质结构(82-XX) 1 天文学和天体物理学(85-XX) 按年份列出的引文