艾西克，佐尔坦；韦尔·帕斯卡 关于逻辑定义的可识别树语言。 （英语） 兹比尔1196.68149 Pandya，Paritosh K.（编辑）等人，FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15日至17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20680-9/pbk）。莱克特。注释计算。科学。2914, 195-207 (2003). 摘要：我们提供了有限树上各种自然定义逻辑的表达能力的代数表征。这些逻辑是用Lindström量词来描述的，特殊情况包括一阶逻辑和模块逻辑。我们给出的代数特征表示为一种新的代数结构，即有限预滤子，并使用了块积运算的推广。关于整个系列，请参见[兹比尔1029.00064]. 引用于8文件 MSC公司： 70年第68季度 语言代数理论与自动机 03B70号 计算机科学中的逻辑 08A70号 泛代数在计算机科学中的应用 65年第68季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}和\textit{P.Weil}，莱克特。注释计算。科学。2914、195--207（2003；Zbl 1196.68149） 全文： 内政部