Negative Equivalence of Extensions of Minimal Logic
Negative Equivalence of Extensions of Minimal Logic
复制标题
最小逻辑扩展的负等价
DOI：
10.1007/s11225-004-6043-0
复制
发表时间：
2004
期刊：
影响因子：
0.7
通讯作者：
S. Odintsov
中科院分区：
文献类型：
--
作者：
S. Odintsov
两个逻辑L1和L2是负等价的，如果对于任何一组公式X和任何一个被否定的公式<$X，<$X可以从假设XinL 1的集合中推导出来当且仅当它可以在L2中完成。本文研究极小逻辑扩张类中的负等价关系。
Two logicsL1andL2are negatively equivalent if for any set of formulasXand any negated formula ¬ϕ, ¬ϕ can be deduced from the set of hypothesesXinL1if and only if it can be done inL2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.