Note of the full generalized models of the extensions of a logic

REPORTS ON MATHEMATICAL LOGIC(2017)

引用 0|浏览32
暂无评分
摘要
In this short note we show that the full generalized models of any extension of a logic can be determined from the full generalized models of the base logic in a simple way. The result is a consequence of two central theorems of the theory of full generalized models of sentential logics. As applications we investigate when the full generalized models of an extension can also be full generalized models of the base logic, and we prove that each Suszko filter of a logic determines a Suszko filter of each of its extensions, also in a simple way.
更多
查看译文
关键词
abstract algebraic logic,generalized model,full model,Suszko filter,strong version,truth-equational logic
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要