卡塔兹纳州帕阿辛斯卡 原代数（k）-演绎系统的特征。 （英语） Zbl 1459.03102号 Czelakowski，Janusz（编辑），Don Pigozzi，关于抽象代数逻辑、泛代数和计算机科学。查姆：斯普林格。Outst公司。控制日志。16, 257-271 (2018). 摘要：句子逻辑是原代数的，只要它有有限的等价公式系统[W.J.布洛克和D.皮戈齐，螺柱日志。45337-369（1986年；Zbl 0622.03020号)]. 这可以推广到没有等式的通用霍恩逻辑的上下文中[W.J.布洛克和D.皮戈齐，in：泛代数和拟群理论。1989年在波兰贾德维辛举行的会议上发表演讲。柏林：赫尔德曼·弗拉格。1–56 (1992;Zbl 0768.03008号)]. 在本文中，我们修改了这个特征。有关整个系列，请参见[Zbl 1390.03005号]. MSC公司： 03G27号 抽象代数逻辑 03B22号 抽象演绎系统 关键词：演绎系统;原代数系统;同余;等价公式体系;同余公式体系 引文：Zbl 0622.03020号;Zbl 0768.03008号 PDF格式BibTeX公司 XML格式引用 \textit{K.Pałasiáska}，Outst（输出）。控制日志。16、257--271（2018；Zbl 1459.03102） 全文： 内政部 参考文献： [1] Blok，W.和Pigozzi，D.（1986年）。Potoalgebraic逻辑，（Studia Logica）45，337-369·Zbl 0622.03020号 [2] Blok，W.和Pigozzi，D.（1989）\（代数逻辑），《美国数学学会回忆录》，396，普罗维登斯·Zbl 0664.03042号 [3] Blok，W.和Pigozzi，D.（1992年）。《无等式的泛霍恩逻辑的代数语义》，载于：（泛代数和拟群理论），A.Romanowska和J.D.H.Smith（编辑），赫尔德曼·弗拉格，柏林，1-56·Zbl 0768.03008号 [4] Czelakowski，J.（2001）\（原代数逻辑），《逻辑趋势》，第10卷，多德雷赫特Kluwer出版社·Zbl 0984.0302号 [5] Elgueta，R.和Jansana，R.（1999）《莱布尼茨平等的定义》，（Studia Logica）63，223-243·兹比尔0957.03040 [6] Font，J.M.（2016）\（抽象代数逻辑，入门教材\），《逻辑、数学逻辑和基础研究》，第60卷，伦敦大学出版社·Zbl 1375.03001号 [7] Prucnal，T.和Wronski，A.（1974年）。结构完整性概念的代数表征，（逻辑部分公报）3，波兰科学院哲学和社会学研究所，30-33。 [8] Czelakowski，J.（1981）。等价逻辑（I），（II），（Studia Logica）40，227-236，335-372·Zbl 0476.03032号 [9] Herrmann，B.（1997）。用莱布尼茨算子刻画等价逻辑和代数化逻辑，（Studia Logica）58，305-323·Zbl 0879.03023号 [10] Herrmann，B.（1993）\（等价逻辑与真理的定义），柏林弗雷大学博士论文·Zbl 0850.03023号 [11] Pałasiánska，K.（1994）\（演绎系统和有限公理化性质），爱荷华州立大学博士论文。 [12] Pałasiánska，K.（2003）。滤波-分布原代数演绎系统和严格泛Horn类的有限基定理”（Studia Logica）74，233-273·Zbl 1051.03013号 [13] Pynko，A.（1999）多维逻辑的蕴涵系统，《数学逻辑报告》33，11-27·Zbl 0947.03010号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。