相容扩张相关硕士博士期刊学术论文 - 搜论网

相容扩张相关论文

一阶逻辑完备性定理的代数证明

在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。......

期刊

代数证明一阶逻辑 LINDENBAUM代数 γ-解释完备性定理相容扩张数理逻辑 firstorder logic Lindenbaum algebr

看过本文同时还关注