托马斯·斯科拉 三模态逻辑的反驳规则。 （英语） 兹比尔0752.03005 牛市。第节。日志。，波兰。阿卡德。科学。 第1期第21页，第31-32页（1992年）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Skura}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第1号，第31-32条（1992；Zbl 0752.03005）
安娜·戈莫林斯卡 自认知逻辑的非标准方法。 （英语） Zbl 0752.03012号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第1期，第21-27页（1992年）.MSC公司：03B60号 68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gomoliáska}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第1号，21--27（1992；Zbl 0752.03012）
Elias H.阿尔维斯。 次协调逻辑的第一个公理化。 （英语） Zbl 0757.03010号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第1期，第19-20页（1992年）.MSC公司：03B53号 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.H.Alves}，公牛。第节。逻辑，Pol。阿卡德。科学。21，编号1，19--20（1992；Zbl 0757.03010）
高雄井上 弗拉格和弗里德曼翻译的一些公式和忠实性。 （英语） Zbl 0762.03012号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第1期，第2-11页（1992年）. 审核人：B.Borić（斯德哥尔摩） MSC公司：03B45号 03B10号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Inoué}，公牛。第节。逻辑，Pol。阿卡德。科学。21，编号1，2--11（1992；Zbl 0762.03012）
马克斯·乌尔赫斯 论决定论——在古典逻辑中仍未得到证实。 （英语） 兹比尔0769.03006 牛市。第节。日志。，波兰。阿卡德。科学。 第4168-170号第21页（1992年）. 审核人：M.Urchs（莱比锡） MSC公司：03B05号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Urchs}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第4号，168--170（1992；Zbl 0769.03006）
R.祖伯。 关于命题演算的一元规则和完整句法特征的注释。 （英语） Zbl 0776.03004号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第4期，163-167（1992）.MSC公司：03B22号 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{R.Zuber}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第4号，163--167（1992；Zbl 0776.03004）
彼得·乌科斯基 ISCI和INT的矩阵框架语义。 （英语） Zbl 0778.0302号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第4期，156-162（1992）. 审核人：H.J.Ohlbach（萨尔布吕肯） MSC公司：03B20型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{P.Łukowski}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第4号，156--162（1992；Zbl 0778.0302）
卡塔兹纳州帕阿辛斯卡 三元非有限公理化矩阵。 （英语） Zbl 0769.03008号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第4期，147-151（1992）. 审核人：K.Pałasiánska公司 MSC公司：03B22号 PDF格式BibTeX公司 XML格式引用 \textit{K.Pałasiáska}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第4号，147-151（1992年；Zbl 0769.03008）
海狸，戈登 以Łukasiewicz逻辑进行分发。 （英语） Zbl 0766.03013号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第4期，140-146（1992）. 审核人：G.海狸 MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{G.海狸}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第4号，140--146（1992；Zbl 0766.03013）
高雄井上 论理论与对等翻译的兼容性。 （英语） Zbl 0850.03022号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第3期，第112-119页（1992年）.MSC公司：03B22号 35层03 PDF格式BibTeX公司 XML格式引用 \textit{T.Inoué}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第3号，112--119（1992；Zbl 0850.03022）
马雷克·诺瓦克 关于经典逻辑的两个亲戚。 （英语） Zbl 0771.0302号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第3期，97-102（1992）.MSC公司：03B22号 PDF格式BibTeX公司 XML格式引用 \textit{M.Nowak}，公牛。第节。逻辑，Pol。阿卡德。科学。21，第3号，97--102（1992；Zbl 0771.0302）
亚历山大·卡彭科。 蕴涵逻辑的格。 （英语） Zbl 0769.03007号 牛市。第节。日志。，波兰。阿卡德。科学。 21，第3期，82-91（1992）. 审核人：A.S.卡彭科（莫斯科） MSC公司：03B20型 03G10年 03B05号 PDF格式BibTeX公司 XML格式引用 \textit｛A.S.Karpenko｝，公牛。第节。逻辑，Pol。阿卡德。科学。21，第3号，82-91（1992年；Zbl 0769.03007）
瓦伦丁·戈兰科 证明某些正常模态逻辑中的不可证明性。 （英语） Zbl 0733.03010号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第1期，23-29（1991）.MSC公司：03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}，公牛。第节。逻辑，Pol。阿卡德。科学。20，编号1，23--29（1991；Zbl 0733.03010）
布拉尼斯拉夫·博里奇奇。 直觉S4的插值定理。 （英语） Zbl 0732.03010号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第1、2-6号（1991年）. 审核人：伯里切奇 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Borić}，公牛。第节。逻辑，Pol。阿卡德。科学。20，编号1，2--6（1991；Zbl 0732.03010）
沃伊切赫·苏肖恩 命题演算的计数公式。 （英语） Zbl 0732.03007号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第1期，10-13（1991）. 审核人：P.G.Holban（伊阿什） MSC公司：03B05号 03D20日 03-04 03D25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Suchoñ}，公牛。第节。逻辑，Pol。阿卡德。科学。20，编号1，10--13（1991；Zbl 0732.03007）
C·扬斯。；劳滕贝格，W。 修正了“二元连接词的公共逻辑具有有限极大度”。 （英语） Zbl 0727.03007号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第1，30号（1991年）.MSC公司：03B20型 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{C.Jahns}和\textit{W.Rautenberg}，公牛。第节。逻辑，Pol。阿卡德。科学。20，第1号，第30条（1991年；Zbl 0727.03007）
马钦·莫斯托夫斯基 可除量词。 （英语） Zbl 0811.03031号 牛市。第节。日志。，波兰。阿卡德。科学。 20，No.2，67-70（1991）.MSC公司：03C80号 03C10号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mostowski}，公牛。第节。逻辑，Pol。阿卡德。科学。20，第2号，67--70（1991；Zbl 0811.03031）
埃瓦州格拉琴斯卡 正则方程的一个不可判定问题。 （英语） Zbl 0801.03005号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第2期，63-66页（1991年）. 审核人：C.S.卡尔法（塞萨洛尼基） MSC公司：03B25号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{E.Graczyáska}，公牛。第节。逻辑，Pol。阿卡德。科学。20，No.2，63--66（1991；Zbl 0801.03005）
保罗·A·S·维洛索。；阿曼多·海伯勒（Armando M.Haeberer）。 经典一阶逻辑的有限关系代数。 （英语） Zbl 0745.03057号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第2期，第52-62页（1991年）.MSC公司：03G15年 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}和\textit{A.M.Haeberer}，公牛。第节。逻辑，Pol。阿卡德。科学。20，第2号，52--62（1991；Zbl 0745.03057）
安德烈·福尔曼 条件逻辑和累积逻辑。 （英语） 兹伯利0754.03015 牛市。第节。日志。，波兰。阿卡德。科学。 20，第2期，44-51页（1991年）. 审核人：P.G.Holban（伊阿什） MSC公司：03B60号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fuhrmann}，公牛。第节。逻辑，Pol。阿卡德。科学。20，第2号，44--51（1991；Zbl 0754.03015）
大卫·米勒 塔斯基演绎系统演算中的一个公开问题。 （英语） Zbl 0747.03007号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第2期，第36-43页（1991年）. 审核人：C.F.Kielkopf（哥伦布） MSC公司：03B22号 03G10年 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。第节。逻辑，Pol。阿卡德。科学。20，编号2，36-43（1991；Zbl 0747.03007）
或者鄂尔多斯卡 后关系代数。 （英语） Zbl 0745.03056号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第1期，14-22页（1991年）. 审核人：V.Meskhi（第比利斯） MSC公司：03G15年 03B50号 03G20年 PDF格式BibTeX公司 XML格式引用 \textit{E.或łowska}，公牛。第节。逻辑，Pol。阿卡德。科学。20，编号1，14--22（1991；Zbl 0745.03056）
巴威·M·伊齐亚克。 有限等价代数的判定问题。 （英语） Zbl 0749.08006号 牛市。第节。日志。，波兰。阿卡德。科学。 20，第1期，第7-9页（1991年）. 审核人：M.Teraushvili（第比利斯） MSC公司：08B05号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Idziak}，公牛。第节。逻辑，Pol。阿卡德。科学。20，编号1，7--9（1991；Zbl 0749.08006）
Barbara Klunder 具有强否定的构造逻辑的基于拓扑的语义。 （英语） Zbl 0734.03034号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第4期，133-138（1990）. 审核人：K.I.Rosenthal（斯克内克塔迪） MSC公司：03G30型 03B20型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{B.Klunder}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第4号，133--138（1990；Zbl 0734.03034）
彼得·乌科斯基 具有经典恒等式的直觉句子演算。 （英语） Zbl 0733.03006号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第4期，147-151（1990）. 审核人：H.J.Ohlbach（萨尔布吕肯） MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Łukowski}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第4号，147--151（1990；Zbl 0733.03006）
阿奇尔·瓦尔齐（Achille C.Varzi）。 补充句子逻辑。 （英语） Zbl 0732.03006号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第4期，112-116（1990）. 审核人：C.F.Kielkopf（哥伦布） MSC公司：03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Varzi}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第4号，112--116（1990；Zbl 0732.03006）
B.马彻。 争吵定理。首先尝试谎言的逻辑。 （英语） Zbl 0732.03005号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第4期，139-146（1990）. 审核人：L.F.Goble（塞勒姆） MSC公司：03A05号 03B60号 PDF格式BibTeX公司 XML格式引用 \发短信给公牛。第节。逻辑，Pol。阿卡德。科学。19，第4号，139--146（1990；Zbl 0732.03005）
安东尼奥·罗德里格斯。；安东尼·托伦斯；文图拉·弗杜 Lukasiewicz逻辑和Wajsberg代数。 （英语） Zbl 0717.03027号 牛市。第节。日志。，波兰。阿卡德。科学。 19，No.2，51-55（1990）. 审核人：G.E.Tseytlin（谢特林） MSC公司：03G25号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Rodriguez}等人，公牛。第节。逻辑，Pol。阿卡德。科学。19，第2号，51-55（1990；Zbl 0717.03027）
多罗塔·菲亚尔科夫斯卡；费亚尔科夫斯基，简 关于非单调结果运算的理论。二、。 （英语） Zbl 0716.03015号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第3号，79-83（1990）. 审核人：圣戈特瓦尔德 MSC公司：03B60号 06年06月06日 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fijalkowska}和\textit{J.Fijalgowski}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第3号，79--83（1990；Zbl 0716.03015）
或者鄂尔多斯卡 三元关系逻辑中相关逻辑的解释。 （英语） Zbl 0716.03010号 牛市。第节。日志。，波兰。阿卡德。科学。 19，No.2，39-48（1990）. 审核人：S.Giambrone公司 MSC公司：03B47号 PDF格式BibTeX公司 XML格式引用 \textit{E.或łowska}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第2号，39--48（1990；Zbl 0716.03010）
沃尔夫冈·劳滕贝格 二元连接词的一般逻辑具有有限的最大度。 （英语） 兹比尔0715.03003 牛市。第节。日志。，波兰。阿卡德。科学。 19，第2号，36-38（1990）. 审核人：Z.斯塔奇尼亚克 MSC公司：03B20型 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{W.劳滕贝格}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第2号，36--38（1990；Zbl 0715.03003）
塔德乌兹·普鲁克纳尔 关系系统的逻辑。 （英语） Zbl 0715.03002号 牛市。第节。日志。，波兰。阿卡德。科学。 19，No.2，58-60（1990）. 审核人：Z.斯塔奇尼亚克 MSC公司：03B10号机组 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Prucnal}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第2号，58--60（1990；Zbl 0715.03002）
罗伯特·梅耶（Robert K.Meyer）。 彻底穿透。 （英语） Zbl 0713.03010号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第3号，100-101（1990）. 审核人：S.Giambrone公司 MSC公司：03B47号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{R.K.Meyer}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第3号，100--101（1990；Zbl 0713.03010）
布拉尼斯拉夫·博里奇奇。 经典直觉逻辑哥德尔翻译的一些修改。 （英语） Zbl 0712.03004号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第3期，84-86（1990）. 审核人：V.谢赫特曼 MSC公司：03B20型 03B55号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.R.Borić}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第3号，84-86（1990年；兹bl 0712.03004）
Tsutomu细井；胜美佐佐木 有限逻辑和简单替换性质。 （英语） Zbl 0709.03020号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第3号，74-78（1990）. 审核人：S.Miura（冈崎/爱知） MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hosoi}和\textit{K.Sasaki}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第3号，74--78（1990；Zbl 0709.03020）
多尔夫·乌尔里奇 关联S5的一个整值矩阵特征。 （英语） Zbl 0709.03014号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第3号，87-91（1990）. 审核人：M.乌尔赫斯 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ulrich}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第3号，87--91（1990；Zbl 0709.03014）
彼得·卢科夫斯基 具有恒等式的直觉句子演算。 （英语） Zbl 0709.03002号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第3期，92-99（1990）. 审核人：H.J.Ohlbach先生 MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lukowski}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第3号，92--99（1990；Zbl 0709.03002）
乌韦·谢夫勒 带条件的严格蕴涵系统。 （英语） Zbl 0707.03014号 牛市。第节。日志。，波兰。阿卡德。科学。 第19页，第2期，第61-65页（1990年）. 审核人：U·舍弗勒 MSC公司：03B47号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{U.Schefler}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第2号，61-65（1990；Zbl 0707.03014）
托马斯·斯科拉 关于句子逻辑的纯反驳公式。 （英语） Zbl 0706.03013号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第3期，102-107（1990）.MSC公司：03B22号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Skura}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第3号，102--107（1990；Zbl 0706.03013）
塔德乌兹·普鲁克纳尔 关于纯蕴涵命题演算若干性质的注记。 （英语） Zbl 0706.03012号 牛市。第节。日志。，波兰。阿卡德。科学。 19，No.2，49-50（1990）.MSC公司：03B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Prucnal}，公牛。第节。逻辑，Pol。阿卡德。科学。19，第2号，49--50（1990；Zbl 0706.03012）
何塞·梅恩德斯。 Urquhart的C带有最小否定。 （英语） Zbl 0701.03010号 牛市。第节。日志。，波兰。阿卡德。科学。 19，第1期，15-20页（1990年）.MSC公司：03B50号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Méndez}，公牛。第节。逻辑，Pol。阿卡德。科学。19，编号1，15--20（1990；Zbl 0701.03010）
彼得·沃伊泰拉克 隐含逻辑结构完整性的句法特征。 （英语） Zbl 0698.03014号 牛市。第节。逻辑，Pol。阿卡德。科学。 19，第1、2-9号（1990年）. 审核人：Z.Stachniak公司 MSC公司：03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Wojtylak}，公牛。第节。逻辑，Pol。阿卡德。科学。19，编号1，2--9（1990；Zbl 0698.03014）
托马斯·斯科拉 一种新的中间逻辑判定准则。 （英语） Zbl 0698.03013号 牛市。第节。逻辑，Pol。阿卡德。科学。 19，第1期，10-14（1990）. 审核人：V.谢赫特曼 MSC公司：03B55号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Skura}，公牛。第节。逻辑，Pol。阿卡德。科学。19，编号1，10--14（1990；Zbl 0698.03013）
查格罗夫。；M.V.Zakharyashchev。 中间逻辑和模态逻辑的Hallén-完备性。 （英语） Zbl 0698.03012号 牛市。第节。逻辑，Pol。阿卡德。科学。 19，第1期，21-24（1990）. 审核人：V.谢赫特曼 MSC公司：03B55号 03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chagrov}和\textit{M.V.Zakharyashchev}，公牛。第节。逻辑，Pol。阿卡德。科学。19，编号1，21--24（1990；Zbl 0698.03012）
康拉德·特津斯基 Rogowski方向逻辑中的时间函子-一些结果。 （英语） Zbl 0694.03016号 牛市。第节。逻辑，Pol。阿卡德。科学。 19，第1号，30-32（1990）. 审核人：L.F.戈布尔 MSC公司：03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Turzyñski}，公牛。第节。逻辑，Pol。阿卡德。科学。19，编号1，30-32（1990年；Zbl 0694.03016）
尼古拉·格拉纳 基于最小非道德逻辑。 （英语） Zbl 0692.03017号 牛市。第节。逻辑，Pol。阿卡德。科学。 19，第1号，25-29（1990）. 审核人：博里奇奇 MSC公司：03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{N.Grana}，公牛。第节。逻辑，Pol。阿卡德。科学。19，编号1，25--29（1990；Zbl 0692.03017）
佐佐木、Katsumi 中间命题逻辑的简单替换性质。 （英语） Zbl 0697.03011号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第3期，94-99（1989）. 审核人：T.河内 MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{K.Sasaki}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第3号，94--99（1989；Zbl 0697.03011）
伊尔迪科·塞恩 计算机科学时序逻辑需要时钟。 （英语） Zbl 0696.03012号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第4期，153-160（1989）. 审核人：J.-J.Ch.梅耶 MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{I.Sain}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第4号，153--160（1989；Zbl 0696.03012）
英国Voishvillo。 相关逻辑的哲学-方法学方面。 （英语） Zbl 0694.03005号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第4期，146-152（1989）. 审核人：L.F.戈布尔 MSC公司：03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Voishvillo}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第4号，146--152（1989；Zbl 0694.03005）
或者鄂尔多斯卡 解释动态逻辑及其在关系演算中的扩展。 （英语） Zbl 0689.03014号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第4期，132-137（1989）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.或łowska}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第4号，132--137（1989；Zbl 0689.03014）
马雷克·托卡兹 论有意识信仰的逻辑。 （英语） Zbl 0685.03016号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第4期，161-166（1989）.MSC公司：03B60号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tokarz}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第4号，161--166（1989；Zbl 0685.03016）
维尼马，伊德 关系代数的二维模态逻辑和区间的时间逻辑。 （英语） Zbl 0685.03014号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第4号，167-174（1989）.MSC公司：03B45号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Venema}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第4号，167--174（1989；Zbl 0685.03014）
小森，Yuichi 基于组合子的逻辑。 （英语） 兹伯利0685.03011 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第3号，100-104（1989）. 审核人：M.W.邦德 MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Komori}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第3号，100--104（1989；Zbl 0685.03011）
Szymanek、Krzysztof 经典的子理论和直觉主义。 （英语） Zbl 0685.03009号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，编号3，112-115（1989）. 审核人：J.西鲁利斯 MSC公司：03B20型 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{K.Szymanek}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号3，112--115（1989；Zbl 0685.03009）
托马斯·斯科拉 直觉逻辑的完整句法特征。 （英语） Zbl 0682.03004号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第3期，116-120（1989）. 审核人：C.F.基尔科夫 MSC公司：03B20型 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{T.Skura}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第3号，116--120（1989；Zbl 0682.03004）
Szymanek、Krzysztof 关于信息功能。二： 理论变革逻辑的应用。 （英语） Zbl 0681.03015号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第1期，13-19（1989）. 审核人：于。文特索夫 MSC公司：03B99号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Szymanek}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号1，13--19（1989；Zbl 0681.03015）
Szymanek、Krzysztof 关于信息功能。一： 基本形式属性。 （英语） Zbl 0681.03014号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第1期，第6-12页（1989年）. 审核人：于。文特索夫 MSC公司：03B99号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{K.Szymanek}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号1，6--12（1989；Zbl 0681.03014）
牛顿·C·A·达·科斯塔。；法语，史蒂文 关于时序逻辑的注释。 （英语） Zbl 0679.03003号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第2期，第51-56页（1989年）. 审核人：V.V.雷巴科夫 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.C.A.da Costa}和\textit{S.French}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号2，51-56（1989；Zbl 0679.03003）
铃木，Nobu-Yuki 以一类具有无限个独立域的代数框架为特征的中间逻辑。 （英语） Zbl 0678.03006号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，No.2，63-71（1989）. 审核人：V.V.雷巴科夫 MSC公司：03B55号 PDF格式BibTeX公司 XML格式引用 \textit{N.-Y.铃木}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号2，63--71（1989；Zbl 0678.03006）
费亚·考斯基，简 关于非单调结果运算的理论。 （英语） Zbl 0674.03006号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，No.2，44-50（1989）. 审核人：圣戈特瓦尔德 MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fijałkowski}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第2号，44--50（1989；Zbl 0674.03006）
沃尔夫冈·劳滕贝格 二进制连接词的通用规则是基于有限的。 （英语） Zbl 0673.03022号 牛市。第节。逻辑，Pol。阿卡德。科学。 第187-89号第18页（1989年）. 审核人：博里奇 MSC公司：03B99号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{W.劳滕贝格}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第2号，87--89（1989；Zbl 0673.03022）
沃尼维茨，博古斯劳 共同相似中的隐含和独立性。 （英语） Zbl 0671.03025号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第1期，第2-5页（1989年）. 审核人：B.沃尔尼维奇 MSC公司：03B99号 PDF格式BibTeX公司 XML格式引用 \textit{B.Wolniewicz}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号1，2--5（1989；Zbl 0671.03025）
拉斯维塔耶夫。 关于带参数递归程序的一元逻辑。 （英语） Zbl 0671.03024号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，No.2，57-62（1989）. 审核人：H.西村 MSC公司：03B70号 68问题65 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Rastsvetaev}，公牛。第节。逻辑，Pol。阿卡德。科学。18，第2号，57--62（1989；Zbl 0671.03024）
弗拉基米尔·波波夫。 关于一组经典本质公式的闭包及其相关蕴涵。 （英语） Zbl 0671.03012号 牛市。第节。逻辑，Pol。阿卡德。科学。 18，第1期，20-24（1989）. 审核人：M.W.邦德 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Popov}，公牛。第节。逻辑，Pol。阿卡德。科学。18，编号1，20-24（1989年；Zbl 0671.03012）
Ivlev，Yu。五、。 模态计算的语义。 （英语） Zbl 0721.03009号 牛市。第节。日志。，波兰。阿卡德。科学。 17，编号3-4，114-126（1988）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Ivlev}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3--4，114-126（1988；Zbl 0721.03009）
安德烈·兹布尔泽尼（Andrzej Zbrzeźny） 某些三值命题逻辑的Gentzen型公理化。 （英语） Zbl 0676.03008号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第2号，70-74（1988）. 审核人：A.胡格威 MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzeźny}，公牛。第节。逻辑，Pol。阿卡德。科学。17，第2号，70--74（1988；Zbl 0676.03008）
斯米尔诺夫，V.A。 内部和外部逻辑。 （英语） Zbl 0667.03016号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，编号3-4，170-181（1988）. 审核人：G.薄荷 MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Smirnov}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3--4，170-181（1988；Zbl 0667.03016）
波波夫，V.M。 非一致性序贯计算。 （英语） Zbl 0667.03012号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第3-4号，148-158（1988）. 审核人：普赖斯特 MSC公司：03B60号 05年3月 PDF格式BibTeX公司 XML格式引用 \发短信{V.M.Popov}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3-4148-158（1988年；Zbl 0667.03012）
Nepejvoda，N.N。 可判定宇宙中程序模式的构造逻辑。 （英语） Zbl 0666.03025号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，编号3-4，138-147（1988）. 审核人：李翔 MSC公司：03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Nepejvoda}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3--4，138-147（1988；Zbl 0666.03025）
亚历山大·卡彭科。 （{\L}_{\omega}\）真值的代数结构。 （英语） Zbl 0666.03019号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第3-4127-137号（1988年）. 审核人：L.F.戈布尔 MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Karpenko}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3--4，127-137（1988；Zbl 0666.03019）
瓦西科夫，V.L。 Łukasiewicz-si无穷值逻辑的T-F-拓扑。 （英语） Zbl 0666.03018号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第3-4号，182-190（1988）. 审核人：第五版。托彭查罗夫 MSC公司：03B50号 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Vasykov}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3--4，182-190（1988；Zbl 0666.03018）
拜斯特罗夫，P。 一些模态和相关系统的表aux变体。 （英语） 兹伯利0666.03016 牛市。第节。逻辑，Pol。阿卡德。科学。 17，编号3-4，92-103（1988）. 审核人：L.F.戈布尔 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bystrov}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3--4，92-103（1988；Zbl 0666.03016）
兹比格涅夫·斯塔奇尼亚克 关于广义矩阵语义和上确界问题的注记。 （英语） Zbl 0665.03016号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，No.2，82-86（1988）. 审核人：Z.斯塔奇尼亚克 MSC公司：03B99号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Stachniak}，公牛。第节。逻辑，Pol。阿卡德。科学。17，第2号，82--86（1988；Zbl 0665.03016）
A.T.伊斯穆拉托夫。 内涵行为逻辑和博弈论。 （英语） Zbl 0663.03009号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，编号3-4，104-113（1988）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.T.Ishmuratov}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号3--4，104-113（1988；Zbl 0663.03009）
理查德·西尔文；格雷厄姆牧师 回答另一个所谓的两难境地，破坏了双道德主义。 （英语） Zbl 0658.03004号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第1号，42-52（1988）. 审核人：J.B.培根 MSC公司：03A05号 03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan}和\textit{G.牧师}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号1，42-52（1988；Zbl 0658.03004）
Došen，科斯塔 可以嵌入Heyting命题演算的正规模态逻辑。 （英语） Zbl 0656.03009号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第1号，23-33（1988）. 审核人：P.马特拉纳 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号1，23-33（1988；Zbl 0656.03009）
莱萨德·沃西奇基 非单调论据的公理化处理。 （英语） Zbl 0655.03012号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，No.2，56-61（1988）. 审核人：E.梅利斯 MSC公司：03B60号 68T99型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{R.Wójcicki}，公牛。第节。逻辑，Pol。阿卡德。科学。17，No.2，56--61（1988；Zbl 0655.03012）
JoséM·门德斯。 用一系列代表性论文对（S3_{to}）和（S4_{to{）进行了详尽的公理化。 （英语） Zbl 0652.03009号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第1期，15-22页（1988年）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Mendez}，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号1，15--22（1988；Zbl 0652.03009）
或者鄂尔多斯卡 模态逻辑的关系解释。 （英语） Zbl 0651.03011号 牛市。第节。逻辑，Pol。阿卡德。科学。 17，第1号，2-14（1988）. 审核人：L.F.戈布尔 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \文本｛E.Orłowska｝，公牛。第节。逻辑，Pol。阿卡德。科学。17，编号1，2--14（1988年；Zbl 0651.03011）
J.Michael Dunn R的双元语义的不完全性。 （英语） Zbl 0652.03011号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 107-110 (1987). 审核人：S.Giambrone公司 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Dunn}，公牛。第节。逻辑，Pol。阿卡德。科学。16、107——110（1987；Zbl 0652.03011）
伊沃纳·马雷克 关于伪相关矩阵的备注。 （英语） Zbl 0649.03011号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 89-92 (1987). 审核人：B.沃尔尼维奇 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{I.Marek}，公牛。第节。逻辑，Pol。阿卡德。科学。16、89——92（1987年；Zbl 0649.03011）
马雷克·托卡兹 关于参考矩阵的备注。 （英语） Zbl 0649.03010号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 85-88 (1987). 审核人：B.沃尔尼维奇 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Tokarz}，公牛。第节。逻辑，Pol。阿卡德。科学。16、85-88（1987年；Zbl 0649.03010）
亚伯、杰尔·米诺罗 关于Curry代数的注记。 （英语） Zbl 0648.03015号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 151-158 (1987). 审核人：I.D’Ottaviano公司 MSC公司：03B60号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Abe}，公牛。第节。逻辑，Pol。阿卡德。科学。16、151--158（1987年；Zbl 0648.03015）
马雷克·诺瓦克 保持真实度的结果运算的特征。 （英语） Zbl 0647.03014号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 159-166 (1987). 审核人：C.F.基尔科夫 MSC公司：03B50号 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nowak}，公牛。第节。逻辑，Pol。阿卡德。科学。16、159--166（1987年；Zbl 0647.03014）
JoséM·门德斯。 建设性R。 （英语） Zbl 0646.03014号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 167-175 (1987). 审核人：L.F.戈布尔 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Mendez}，公牛。第节。逻辑，Pol。阿卡德。科学。16、167--175（1987年；Zbl 0646.03014）
埃瓦州奥洛斯卡 具有相关含义的逻辑。 （英语） Zbl 0643.03016号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 39-45 (1987). 审核人：L.F.戈布尔 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlowska}，公牛。第节。逻辑，Pol。阿卡德。科学。16、39——45（1987；Zbl 0643.03016）
塞尔丁，J.P。 柯里基金会的相关有效性：对理查德·西尔文的回复。 （英语） Zbl 0642.03011号 牛市。第节。逻辑，Pol。阿卡德。科学。 第16页，第68-70页（1987年）. 审核人：G.薄荷 MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Seldin}，公牛。第节。逻辑，Pol。阿卡德。科学。16、68-70（1987年；Zbl 0642.03011）
理查德·西尔文 柯里基金会的相关失效。 （英语） Zbl 0642.03010号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 51-53 (1987).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Sylvan}，公牛。第节。逻辑，Pol。阿卡德。科学。16、51-53（1987年；Zbl 0642.03010）
马雷克·诺瓦克 关于特征后果操作的备注。 （英语） Zbl 0639.03031号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 11-25 (1987).MSC公司：03B99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Nowak}，公牛。第节。逻辑，Pol。阿卡德。科学。16、11--25（1987；Zbl 0639.03031）
Trzȩsigi，卡齐米尔兹 确定性和非确定性时态运算符。 （英语） Zbl 0639.03029号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 76-84 (1987).MSC公司：03B65号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Trzȩsigi}，公牛。第节。逻辑，Pol。阿卡德。科学。16、76--84（1987；Zbl 0639.03029）
何塞·梅恩德斯。 用Anderson和Belnap的“强而自然的有效蕴涵列表”公理化（E_{to}）和（R{to}\）。 （英语） Zbl 0639.03016号 牛市。第节。逻辑，Pol。阿卡德。科学。 第16页，第2-10页（1987年）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Méndez}，公牛。第节。逻辑，Pol。阿卡德。科学。16、2--10（1987年；Zbl 0639.03016）
埃瓦州奥洛斯卡 推理知识的逻辑。 （英语） Zbl 0638.03025号 牛市。第节。逻辑，Pol。阿卡德。科学。 16, 26-38 (1987). 审核人：E.梅利斯 MSC公司：03B60号 03C90号 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlowska}，公牛。第节。逻辑，Pol。阿卡德。科学。16、26-38（1987；Zbl 0638.03025）
沃伊切赫·巴斯科夫斯基 经典范畴语法的强大生成能力。 （英语） Zbl 0636.03020号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 60-65 (1986).MSC公司：03B65号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{W.Buszkowski}，公牛。第节。逻辑，Pol。阿卡德。科学。15、60-65（1986年；Zbl 0636.03020）
安德烈·洛帕里克；Leila Z.普加。 道义逻辑的两个系统。 （英语） Zbl 0636.03019号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 137-144 (1986).MSC公司：03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Loparic}和\textit{L.Z.Puga}，公牛。第节。逻辑，Pol。阿卡德。科学。15、137--144（1986年；Zbl 0636.03019）
瓦修科夫。 R和\（｛\L｝_｛\aleph_0｝\）的二元语义。 （英语） Zbl 0634.03024号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 109-116 (1986).MSC公司：03B99号 03B45号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Vasyukov}，公牛。第节。逻辑，Pol。阿卡德。科学。15、109--116（1986年；Zbl 0634.03024）
兹吉斯·阿夫·哈巴辛斯基 普拉特过程逻辑的可决定性。 （英语） Zbl 0634.03023号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 88-95 (1986).MSC公司：03B70号 68问题65 03B25号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{Z.哈巴辛斯基}，公牛。第节。逻辑，Pol。阿卡德。科学。15、88-95（1986年；Zbl 0634.03023）
安德烈·福尔曼。 De Morgan格逻辑的Gentzen语义。 （英语） Zbl 0634.03017号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 96-101 (1986).MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.T.Fuhrmann}，公牛。第节。逻辑，Pol。阿卡德。科学。15、96-101（1986年；Zbl 0634.03017）
玛丽安·萨奇斯·米切娃 一些表格式多值逻辑的特征模型。 （英语） Zbl 0633.03009号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 159-163 (1986). 审核人：I.D’Ottaviano公司 MSC公司：03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Mircheva}，公牛。第节。逻辑，Pol。阿卡德。科学。15、159--163（1986年；Zbl 0633.03009）
亚历山大·卡彭科。 关于Łukasiewicz预完备逻辑（素数图）图有限性的假设。 （英语） Zbl 0632.03018号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 102-108 (1986).MSC公司：03B50号 11答25 第11页81 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Karpenko}，公牛。第节。逻辑，Pol。阿卡德。科学。15102-108（1986年；兹bl 0632.03018）
席琳娜·A·A·P·阿巴尔。；Mineko山下 关于变量绑定词运算符的备注。 （英语） Zbl 0631.03013号 牛市。第节。逻辑，Pol。阿卡德。科学。 15, 145-151 (1986). 审核人：M.W.邦德 MSC公司：03B60号 03C65号 PDF格式BibTeX公司 XML格式引用 \textit{C.A.P.Abar}和\textit{M.Yamashita}，公牛。第节。逻辑，Pol。阿卡德。科学。15、145--151（1986年；Zbl 0631.03013）