NP-Logic Systems and Model-Equivalence Reductions

被引：0

作者：

Yu-Ping Shen

Xi-Shun Zhao

机构：

[1] Sun Yat-Sen University,Institute of Logic and Cognition

[2] Sun Yat-Sen University,Department of Philosophy

来源：

Journal of Computer Science and Technology | 2010年 / 25卷

关键词：

logic system; model-equivalent reduction; expressive power; computational complexity;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence in NP. It is shown that among all NP-systems with model checking problem in NP, the existentially quantified propositional logic (∃PF) is maximal with respect to poly-time model-equivalent reduction. However, ∃PF seems not a maximal NP-system in general because there exits an NP-system with model checking problem DP -complete.

引用

页码：1321 / 1326

页数：5

共 50 条

[1] NP-Logic Systems and Model-Equivalence Reductions
Shen, Yuping
Zhao, Xishun
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (24): : 130 - 138
[2] NP-Logic Systems and Model-Equivalence Reductions
Shen, Yu-Ping
Zhao, Xi-Shun
[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2010, 25 (06) : 1321 - 1326
[3] NP-Logic Systems and Model-Equivalence Reductions
沈榆平
赵希顺
[J]. Journal of Computer Science & Technology, 2010, 25 (06) : 1321 - 1326
[4] Breaking the UIP: A Model-Equivalence Result
Yakhin, Yossi
[J]. JOURNAL OF MONEY CREDIT AND BANKING, 2022, 54 (06) : 1889 - 1904
[5] Testing semiparametric model-equivalence hypotheses based on the characteristic function
Chen, Feifei
Meintanis, Simos G.
Zhu, Lixing
[J]. JOURNAL OF STATISTICAL COMPUTATION AND SIMULATION, 2024, 94 (06) : 1158 - 1190
[6] On the Equivalence of Logic-Based Argumentation Systems
Amgoud, Leila
Vesic, Srdjan
[J]. SCALABLE UNCERTAINTY MANAGEMENT, 2011, 6929 : 123 - 136
[7] The nondeterministic constraint logic model of computation: Reductions and applications
Hearn, RA
Demaine, ED
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 401 - 413
[8] The equivalence between fuzzy logic systems and feedforward neural networks
Li, HX
Chen, CLP
[J]. IEEE TRANSACTIONS ON NEURAL NETWORKS, 2000, 11 (02): : 356 - 365
[9] State Space c-Reductions of Concurrent Systems in Rewriting Logic
Lluch-Lafuente, Alberto
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (138):
[10] COST REDUCTIONS OR REPUTATION ENHANCEMENT AS MOTIVES FOR MERGERS - THE LOGIC OF MULTIHOSPITAL SYSTEMS
DRANOVE, D
SHANLEY, M
[J]. STRATEGIC MANAGEMENT JOURNAL, 1995, 16 (01) : 55 - 74

← 1 2 3 4 5 →