Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)

Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)
复制标题

谓词逻辑的代数语义及其完整性(非经典逻辑及其克里普克语义)

DOI:
--
复制
发表时间:
1995
期刊:
--
影响因子:
--
通讯作者:
H. Ono
H. Ono
中科院分区:
--
文献类型:
--
作者:
H. Ono

文献摘要

被引文献

相似文献