Abstract
In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte’s method, which can simultaneously prove completeness and cut-elimination.
Similar content being viewed by others
References
Angell, R., A propositional logics with subjunctive conditionals, Journal of Symbolic Logic 27:327–343, 1962.
Arieli, O., and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5:25–63, 1996.
Arieli, O., and A. Avron, The value of the four values, Artificial Intelligence 102(1):97–141, 1998.
Arieli, O., and A. Avron, Minimal paradefinite logics for reasoning with incompleteness and inconsistency, Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics (LIPIcs) 52, pp. 7:1–7:15, 2016.
Arieli, O., and A. Avron, Four-valued paradefinite logics, Studia Logica 105(6):1087–1122, 2017.
Arieli, O., A. Avron, and A. Zamansky, Ideal paraconsistent logics, Studia Logica 99(1-3):31–60, 2011.
Belnap, N.D., A useful four-valued logic, in G. Epstein, and J.M. Dunn, (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 5–37.
Belnap, N.D., How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1977, pp. 30–56.
Béziau, J.Y., Bivalent semantics for De Morgan logic (The uselessness of four-valuedness), in W.A. Carnieli, M.E. Coniglio and I.M. D’Ottaviano, (eds.), The Many Sides of Logic, College Publications, 2009, pp. 391–402.
Dunn, J.M., Intuitive semantics for first-degree entailment and ‘coupled trees’, Philosophical Studies 29(3):149–168, 1976.
Gentzen, G., Collected papers of Gerhard Gentzen, in M.E. Szabo, (ed.), Studies in Logic and the Foundations of Mathematics, North-Holland (English translation), 1969.
Kamide, N., Extending ideal paraconsistent four-valued logic, Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2017), 2017, pp. 49–54.
Kamide, N., and Y. Zohar, Yet another paradefinite logic: the role of conflation, Logic Journal of the IGPL 27(1):93–117, 2019.
Lahav, O., and A. Avron, A unified semantic framework for fully structural propositional sequent systems, ACM Transaction on Computational Logic 14(4):271–273, 2013.
Leblanc, H., Alternatives to standard first-order semantics, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic: Volume I: Elements of Classical Logic, Springer Netherlands, 1983, pp. 189–274.
McCall, S., Connexive implication, Journal of Symbolic Logic 31:415–433, 1966.
McCall, S., A history of connexivity, in D.M. Gabbay, F.J. Pelletier, J. Woods, (eds.), Handbook of the History of Logic, Vol. 11, North-Holland, 2012, pp. 415–449.
Priest, G., Paraconsistent logic, in D. Gabbay and F. Guenthner, (eds.), Handbook of Philosophical Logic (Second Edition), Vol. 6, Kluwer, Dordrecht, 2002, pp. 287–393.
Schütte, K., Syntactical and semantical properties of simple type theory, The Journal of Symbolic Logic 25(4):305–326, 1960.
Shoenfield, J.R., Mathematical logic. Addison-Wesley, Reading, 1967.
Tait, W., A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic, Bulletin of the American Mathematical Society 72:980–983, 1966.
Takeuti, G., Proof Theory (second edition), Dover Publications, Inc. Mineola, 2013.
Wansing, H., Connexive modal logic, Advances in Modal Logic 5:367–385, 2005.
Wansing, H., Connexive logic, Stanford Encyclopedia of Philosophy, 2014: http://plato.stanford.edu/entries/logic-connexive/
Acknowledgements
We would like to thank the anonymous referees for their valuable comments. Norihiro Kamide was supported by JSPS KAKENHI Grant Numbers JP18K11171, JP16KK0007 and JSPS Core-to-Core Program (A. Advanced Research Networks).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Heinrich Wansing
Rights and permissions
About this article
Cite this article
Kamide, N., Zohar, Y. Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. Stud Logica 108, 549–571 (2020). https://doi.org/10.1007/s11225-019-09863-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-019-09863-4