TY - GEN
T1 - An extended first-order belnap-dunn logic with classical negation
AU - Kamide, Norihiro
AU - Omori, Hitoshi
N1 - Funding Information:
Acknowledgments. We would like to thank the anonymous referees for their valuable comments. Norihiro Kamide was partially supported by JSPS KAKENHI Grant Number JP26330263. Hitoshi Omori is a Postdoctoral Research Fellow of Japan Society for the Promotion of Science (JSPS), and was partially supported by JSPS KAKENHI Grant Number JP16K16684.
Publisher Copyright:
© Springer-Verlag GmbH Germany 2017.
PY - 2017
Y1 - 2017
N2 - In this paper, we investigate an extended first-order Belnap-Dunn logic with classical negation. We introduce a Gentzen-type sequent calculus FBD+ for this logic and prove theorems for syntactically and semantically embedding FBD+ into a Gentzen-type sequent calculus for first-order classical logic. Moreover, we show the cut-elimination theorem for FBD+ and prove the completeness theorems with respect to both valuation and many-valued semantics for FBD+.
AB - In this paper, we investigate an extended first-order Belnap-Dunn logic with classical negation. We introduce a Gentzen-type sequent calculus FBD+ for this logic and prove theorems for syntactically and semantically embedding FBD+ into a Gentzen-type sequent calculus for first-order classical logic. Moreover, we show the cut-elimination theorem for FBD+ and prove the completeness theorems with respect to both valuation and many-valued semantics for FBD+.
UR - http://www.scopus.com/inward/record.url?scp=85029418866&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85029418866&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-55665-8_6
DO - 10.1007/978-3-662-55665-8_6
M3 - Conference contribution
AN - SCOPUS:85029418866
SN - 9783319649993
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 79
EP - 93
BT - Business Process Management - 15th International Conference, BPM 2017, Proceedings
A2 - Seligman, Jeremy
A2 - Yamada, Tomoyuki
A2 - Baltag, Alexandru
PB - Springer Verlag
T2 - 15th International Conference on Business Process Management, BPM 2017
Y2 - 10 September 2017 through 15 September 2017
ER -