1) Luk-Lindenbaum algebra
Luk-Lindenbaum代数
1.
The concept of the * filter is introduced according to the binary operator*in Luk-Lindenbaum algebra.
主要结果是:(1)Luk-Lindenbaum代数F(S)/~中的*滤子都是〈D(Γ)〉形式的;(2)*滤子与MP滤子一致,都是通常意义下的滤子;(3)F(S)/~中的极大*滤子与通常意义下的极大滤子是一致的。
2) L~*-Lindenbaum algebras
L*-Lindenbaum代数
4) Lindenbaum algebra
Lindenbaum代数
1.
Based on quotient Lindenbaum algebra, the present paper provides an algebraic proof of the completeness theorem without using any consistent extension, where the concept of γinterpretation introduced by the author plays an important role.
在一阶逻辑中回避了通常使用的相容扩张方法,基于商Lindenbaum代数并引入一阶语言的一种γ 解释,证明了一阶逻辑的完备性定理。
5) L * 0 Lindenbaum algebra
L0*-Lindenbaum代数
6) R_0-semantic Lindenbaum algebra
R_0-语义Lindenbaum代数
补充资料：Lindenbaum–tarski代数
在数理逻辑中，逻辑理论 t 的 lindenbaum-tarski 代数 a 由这个理论的句子 p 的等价类构成，其等价关系 ~ 定义为
p ~ q 在 p 和 q 在 t 中逻辑等价的时候。
就是说，在 t 中句子 q 能演绎子 p，p 能演绎自 q。
在 a 中的操作继承自 t 中能获得的那些，典型的是合取和析取，在这里它们在这些类上是良定的。当 t 中存在否定的时候，a 在某种适度的条件下是布尔代数。
有时简称为 lindenbaum 代数，这个构造得名于 adolf lindenbaum(1904年-1941或1942年)和 alfred tarski。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条