机译:T的一个简单不完全扩展,它是两个完全模态逻辑与f.m.p的并集。
Departments of Mathematics Philosophy Columbia Union College;
complete; model property; incomplete; modal logic; union;
机译:阳极模态逻辑的完备性和不完备性
机译:完整和不完整逻辑函数中变量编号的简单最小化方法,第1部分
机译:完全和不完整逻辑函数中变量编号的简单最小化方法。 第2部分
机译:具有交叉点的模态逻辑更简单的完整性证明
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:在简单通用的分子平台上实现级联逻辑门和多数逻辑门
机译:完整和不完整逻辑系统功能中变量编号的简单最小化方法。第2部分