当前位置:
X-MOL 学术
›
Math. Logic Q.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
The Suszko operator relative to truth-equational logics
Mathematical Logic Quarterly ( IF 0.4 ) Pub Date : 2021-07-16 , DOI: 10.1002/malq.202000034 Hugo Albuquerque 1
Mathematical Logic Quarterly ( IF 0.4 ) Pub Date : 2021-07-16 , DOI: 10.1002/malq.202000034 Hugo Albuquerque 1
Affiliation
This note presents some new results from [1] about the Suszko operator and truth-equational logics, following the works of Czelakowski [11] and Raftery [17]. It is proved that the Suszko operator relative to a truth-equational logic preserves suprema and commutes with endomorphisms. Together with injectivity, proved by Raftery in [17], the Suszko operator relative to a truth-equational logic is a structural representation, as defined in [15]. Furthermore, if is a quasivariety, then the Suszko operator relative to a truth-equational logic is continuous. Finally, it is proved that truth is equationally definable in the class if and only if is a -algebraic semantics for and the Suszko operator preserves suprema and commutes with substitutions.
中文翻译:
与真方程逻辑相关的 Suszko 算子
本笔记根据 Czelakowski [11] 和 Raftery [17] 的工作,介绍了 [1] 中关于 Suszko 算子和真值方程逻辑的一些新结果。证明了相对于真方程逻辑的 Suszko 算子保留 suprema 并使用自同态交换。与 Raftery 在 [17] 中证明的注入性一起,Suszko 算子相对于真值方程逻辑是一种结构表示,如 [15] 中所定义。此外,如果是拟变体,则相对于真方程逻辑的 Suszko 算子是连续的。最后,证明了真理在类中是等式可定义的 当且仅当 是一个 - 代数语义 和 Suszko 算子 保留 suprema 并用替换来交换。
更新日期:2021-08-17
中文翻译:
与真方程逻辑相关的 Suszko 算子
本笔记根据 Czelakowski [11] 和 Raftery [17] 的工作,介绍了 [1] 中关于 Suszko 算子和真值方程逻辑的一些新结果。证明了相对于真方程逻辑的 Suszko 算子保留 suprema 并使用自同态交换。与 Raftery 在 [17] 中证明的注入性一起,Suszko 算子相对于真值方程逻辑是一种结构表示,如 [15] 中所定义。此外,如果是拟变体,则相对于真方程逻辑的 Suszko 算子是连续的。最后,证明了真理在类中是等式可定义的 当且仅当 是一个 - 代数语义 和 Suszko 算子 保留 suprema 并用替换来交换。