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