Journal of Logic and Computation. 2014;24(1):257-282. doi: 10.1093/logcom/exs018 Q40.72025

Propositional primal logic with disjunction

带析取的命题原逻辑

DOI: 10.1093/logcom/exs018

摘要 查看摘要

Copyright © Journal of Logic and Computation. 中文内容为AI机器翻译，仅供参考！