A list of publications on Connexive Logic

Papers are listed in the chronological order. If you have/know any papers not listed below, please let us know. We aim to keep the list up-to-date as much as possible.

Publications before 1960

  • MacColl, H., 1878, “The Calculus of Equivalent Statements (II)”, Proceedings of the London Mathematical Society 1877–78, 9: 177–186.

  • Nelson, E. J., 1930, “Intensional Relations”, Mind, 39: 440–453.

Publications from 1960s

  • Angell, R., 1962, “A Propositional Logic with Subjunctive Conditionals”, Journal of Symbolic Logic, 27: 327–343.

  • McCall, S., 1966, “Connexive Implication”, Journal of Symbolic Logic, 31: 415–433.

  • McCall, S., 1967, “Connexive Class Logic”, Journal of Symbolic Logic, 32: 83–90.

  • McCall, S., 1967, “Connexive Implication and the Syllogism”, Mind, 76: 346–356.

  • Routley, R. and Montgomery, H., 1968, “On Systems Containing Aristotle's Thesis”, Journal of Symbolic Logic, 33: 82–96.

  • Woods, J., 1968, “ Two Objections to System CC1 of Connexive Implication”, Dialogue, 7: 473–475.

Publications from 1970s

  • Wiredu, J. E., 1974, “A Remark on a Certain Consequence of Conexive Logic for Zermelo's Set Theory”, Studia Logica, 33: 127–130.

  • McCall, S., 1975, “Connexive Implication”, § 29.8 in: A.R. Anderson and N.D. Belnap, Entailment. The Logic of Relevance and Necessity. Volume 1, Princeton: Princeton University Press, 434–446.

  • Johnson, F.A., 1976, “A Three-valued Interpretation for a Relevance Logic”, The Relevance Logic Newsletter, 1: 123–128. [Available online.]

  • Meyer, R.K, 1977, “S5–The Poor Man's Connexive Implication”, The Relevance Logic Newsletter, 2: 117–123. [Available online.]

  • Pizzi, C., 1977, “Boethius' Thesis and Conditional Logic”, Journal of Philosophical Logic, 6: 283–302.

  • Routley, R., 1978, “Semantics for Connexive Logics. I”, Studia Logica 37: 393–412.

  • Bode, J. R., 1979, “The possibility of a conditional logic”, Notre Dame Journal of Formal Logic, 20: 147–154.

Publications from 1980s

  • Mortensen, C., 1984, “Aristotle's Thesis in Consistent and Inconsistent Logics”, Studia Logica, 43: 107–116.

  • Routley, R. and Routley V., 1985, “Negation and Contradiction”, Revista Columbiana de Mathemáticas, 19: 201–231.

  • Brady, R., 1989, “A Routley-Meyer Affixing Style Semantics for Logics Containing Aristotle's Thesis”, Studia Logica, 48: 235–241.

Publications from 1990s

  • Martin, C. J., 1991, “The Logic of Negation in Boethius“, Phronesis, 26: 277–304.

  • Pizzi, C., 1991, “Decision Procedures for Logics of Consequential Implication”, Notre Dame Journal of Formal Logic, 32: 618–636.

  • Thompson, B., 1991, “Why is Conjunctive Simplification Invalid?”, Notre Dame Journal of Formal Logic, 32: 248–254.

  • Pizzi, C., 1993, “Consequential Implication: A Correction”, Notre Dame Journal of Formal Logic, 34: 621–624.

  • Pizzi, C., 1996, “Weak vs. Strong Boethius' Thesis: A Problem in the Analysis of Consequential Implication”, in A. Ursini and P. Aglinanó (eds.), Logic and Algebra, New York: Marcel Dekker, 647–654.

  • Pizzi, C. and Williamson, T., 1997, “Strong Boethius' Thesis and Consequential Implication”, Journal of Philosophical Logic, 26: 569–588.

  • Astroh, M., 1999, “Connexive Logic”, Nordic Journal of Philosophical Logic, 4: 31–71.

  • C. Pizzi, A., 1999, “Modal Framework for Consequential Implication and the Factor Law“, Contemporary Mathematics, 235: 313–326.

  • Priest, G., 1999, “Negation as Cancellation and Connexive Logic”, Topoi, 18: 141–148.

Publications from 2000s

  • Olkhovikov, G.K., 2001, “On a new three-valued paraconsistent logic”, in: Logic of Law and Tolerance, Yekaterinburg, Ural State University Press, 96-113 (in Russian). English translation is available in IfCoLog Journal of Logics and their Applications, 3(3): 317–334. [pdf]

  • Rahman, S. and Rückert, H., 2001, “Dialogical Connexive Logic”, Synthese, 127: 105–139.

  • Wansing, H., 2001, “Negation”, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Cambridge, MA: Basil Blackwell Publishers, 415–436.

  • Angell, R., 2002, A-Logic, Lanham: University Press of America.

  • Nasti de Vincentis, M., 2002, Logische della connessività, Verlag Paul Haupt, Bern.

  • Pizzi, C., 2004, “Contenability and the Logic of Consequential Implication”, Logic Journal of the IGPL, 12: 561–579.

  • Pizzi, C., 2005, “Aristotle’s Thesis between paraconsistency and modalization”, Journal of Applied Logic, 3: 119–131. [Available online.]

  • Pizzi, C. and Williamson, T., 2005, “Conditional Excluded Middle in Systems of Consequential Implication”, Journal of Philosophical Logic, 34: 333–362.

  • Wansing, H., 2005, “Connexive Modal Logic”, in R. Schmidt et al. (eds.), Advances in Modal Logic. Volume 5, London: King's College Publications, 367–383. [Available online.]

  • Olkhovikov, G. K., “Complete, correct and independent axiomatization of first-order fragment of a three-valued paraconsistent logic“, in Proceedings of The Fourth International Conference on Information and The Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, pages 245– 248, Cork, 2006. University College Cork–National University of Ireland. Reprinted in IfCoLog Journal of Logics and their Applications, 3(3): 335–339. [pdf]

  • Pizzi, C., 2008, “Aristotle's Cubes and Consequential Implication”, Logica Universalis, 2: 143–153.

  • Wansing, H., 2007, “A Note on Negation in Categorial Grammar”, Logic Journal of the IGPL, 15: 271–286.

  • Cantwell, J., 2008, “The Logic of Conditional Negation”, Notre Dame Journal of Formal Logic, 49: 245–260.

  • Rahman, S. and Redmond, J., 2008, “Hugh MacColl and the Birth of Logical Pluralism”, in: D. Gabbay and J. Woods (eds.), Handbook of the History of Logic. Vol. 4: British Logic in the Nineteenth Century, Amsterdam: Elsevier, 533–604.

  • Wansing, H., 2008, “Constructive Negation, Implication, and Co-implication”, Journal of Applied Non-Classical Logics, 18: 341–364.

Publications from 2010s

  • Besnard, P., 2011, “A Logical Analysis of Rule Inconsistency“, International Journal of Semantic Computing, 5: 271–280.

  • Kamide, N. and Wansing, H., 2011, “Connexive Modal Logic Based on Positive S4”, in: J.-Y. Beziau and M. Coniglio (eds.), Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the Occasion of His 60th Birthday, London: College Publications, 389–409.

  • Kamide, N. and Wansing, H., 2012, “ Proof theory of Nelson's Paraconsistent Logic: A Uniform Perspective”, Theoretical Computer Science, 415: 1–38.

  • Kapsner, A., 2012, “Strong Connexivity”, Thought, 1: 141–145.

  • McCall, S., 2012, “A History of Connexivity”, in D.M. Gabbay et al. (eds.), Handbook of the History of Logic. Volume 11. Logic: A History of its Central Concepts, Amsterdam: Elsevier, 415–449.

  • Pfeifer, N., 2012, “Experiments on Aristotle's Thesis: Towards an experimental philosophy of conditionals“, The Monist, 95: 223–240.

  • Unterhuber, M., 2013, Possible Worlds Semantics for Indicative and Counterfactual Conditionals. A Formal Philosophical Inquiry into Chellas-Segerberg Semantics, Heusenstamm: Ontos Verlag.

  • Ferguson, T. M., 2014, “Ramsey's Footnote and Priest's Connexive Logics”, 20: 387–388. (An abstract of a paper presented at ASL Logic Symposium 2012)

  • McCall, S., 2014, “Connexive Gentzen”, Logic Journal of the IGPL, 22: 964–981.

  • Wansing, H., 2014, "Connexive Logic", in Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). (First published in 2006.)

  • Ferguson, T. M., 2015, "Logics of Nonsense and Parry Systems”, Journal of Philosophical Logic, 44(1): 65–80. (First published online: June 14, 2014.)

[The following ten papers, as well as two papers by Olkhovikov mentioned above, are included in a special issue on connexive logics. The entire volume is available here.]

  • Angel, R. B., 2016, "Connexive Implication, Modal Logic and Subjunctive Conditionals", IfCoLog Journal of Logics and their Applications, 3(3): 297–308. [pdf]

  • Routley, R. and Montgomery, H., 2016, "Models for Connexive Logics", IfCoLog Journal of Logics and their Applications, 3(3): 309–315. [pdf]

  • Estrada-González, L. and Ramírez-Cámara, E., 2016, "A Comparison of Connexive Logics", IfCoLog Journal of Logics and their Applications, 3(3): 341–355. [pdf]

  • Ferguson, T. M., 2016, "On Arithmetic Formulated Connexively", IfCoLog Journal of Logics and their Applications, 3(3): 357–376. [pdf]

  • Unterhuber, M., 2016, "Beyond System P – Hilbert-Style Convergence Results for Conditional Logics with a Connexive Twist", IfCoLog Journal of Logics and their Applications, 3(3): 377–412. [pdf]

  • Wansing, H., 2016, "Natural Deduction for Bi-Connexive Logic and a Two-Sorted Typed λ-Calculus", IfCoLog Journal of Logics and their Applications, 3(3): 413–439. [pdf]

  • Kamide, N. and Wansing, H., 2016, "Completeness of Connexive Heyting-Brouwer Logic", IfCoLog Journal of Logics and their Applications, 3(3): 441–466. [pdf]

  • Omori, H., 2016, "A Simple Connexive Extension of the Basic Relevant Logic BD", IfCoLog Journal of Logics and their Applications, 3(3): 467–478. [pdf]

  • Francez, N., 2016, "Natural Deduction for Two Connexive Logics", IfCoLog Journal of Logics and their Applications, 3(3): 479–504. [pdf]

  • Omori, H., 2016, "A Note on Francez’ Half-Connexive Formula", IfCoLog Journal of Logics and their Applications, 3(3): 505–512. [pdf]

[End of papers in special issue.]

Publications from 2020s

  • Francez, N., 2020, "On the Role of Aristotle's Connexive Axioms in Non-connexive Logics", IfCoLog Journal of Logics and their Applications

  • Weiss, Y., 2020, "Semantics for Pure Theories of Connexive Implication", The Review of Symbolic Logic, 1-16.

  • Kamide, N., Zohar, Y., 2020, "Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.", Studia Logica 108, 549–571.

  • Estrada-González, L., Tanús-Pimentel, C.L., 2021 "Variable Sharing in Connexive Logic." J Philos Logic 50, 1377–1388.

  • Francez, N., 2021, "A View of Connexive Logics", College Publications.

  • Crupi, V., Iacona, A., 2021 "Three Ways of Being Non-Material.", Studia Logica 110, 47–93.

  • Kaminski, M., 2022 "Extending the Lambek Calculus with Classical Negation." Studia Logica 110, 295–317.