Linked bibliography for the SEP article "Sentence Connectives in Formal Logic" by Lloyd Humberstone

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

Aloni, Maria, 2016, “Disjunction”, The Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta (ed.), URL \(= \lt\) https://plato.stanford.edu/archives/win2016/entries/disjunction/\(\gt\). (Scholar)
Avron, Arnon, 1988, “The Semantics and Proof Theory of Linear Logic”, Theoretical Computer Science, 57: 161–187. (Scholar)
Avron, Arnon, 2010, “Tonk—A Full Mathematical Solution”, in A. Biletzki (ed.), Hues of Philosophy: Essays in Memory of Ruth Manor, London: College Publications, pp. 17–42. (Scholar)
Beall, J.C., and Greg Restall, 2006, Logical Pluralism, Oxford: Clarendon Press. (Scholar)
Bell, J.L., 1986, “A New Approach to Quantum Logic”, British Journal for the Philosophy of Science, 37: 83–99. (Scholar)
Belnap, Nuel D., 1962, “Tonk, Plonk, and Plink”, Analysis, 22: 130–134. (Scholar)
Belnap, Nuel D., and J.M. Dunn, 1981, “Entailment and the Disjunctive Syllogism”, in Contemporary Philosophy: A New Survey, Vol. 1, G. Fløistad (ed.), Martinus Nijhoff: The Hague, pp. 337–366. (Scholar)
Béziau, Jean-Yves, and Marcelo E. Coniglio, 2010, “To Distribute or Not to Distribute?”, Logic Journal of the IGPL, 19: 566–583. (Scholar)
Birkhoff, Garrett, 1967, Lattice Theory, 3rd Edition, Providence, Rhode Island: American Mathematical Society. (Scholar)
Bimbó, Katalin and J. Michael Dunn, 2008, Generalized Galois Logics, Stanford: CSLI Publications. (Scholar)
Blamey, Stephen, and Lloyd Humberstone, 1991, “A Perspective on Modal Sequent Logic”, Publications of the Research Institute for Mathematical Sciences, Kyoto University, 27: 763–782. (Scholar)
Blok, W.J., and D. Pigozzi, 1989, “Algebraizable Logics”, Memoirs of the American Mathematical Society, 77(396). (Scholar)
Bonnay, Denis, and B. Simmenauer, 2005, “Tonk Strikes Back”, Australasian Journal of Logic, 3: 33–44. (Scholar)
Bonnay, Denis, and Dag Westerståhl, 2016, “Compositionality Solves Carnap’s Problem”, Erkenntnis, 81:721–739. (Scholar)
Bonnay, Denis, and Dag Westerståhl, 2023, “Carnap’s Problem for Modal Logic”, Review of Symbolic Logic, 16:578-602. (Scholar)
Byrd, Michael, 1973, “Knowledge and True Belief in Hintikka’s Epistemic Logic”, Journal of Philosophical Logic, 2: 181–192. (Scholar)
Caicedo, Xavier, 2004, “Implicit Connectives of Algebraizable Logics”, Studia Logica, 78: 155–170. (Scholar)
Caicedo, Xavier, and Roberto Cignoli, 2001, “An Algebraic Approach to Intuitionistic Connectives”, Journal of Symbolic Logic, 66: 1620–1636. (Scholar)
Carnap, Rudolf, 1943/1961, Formalization of Logic, reprinted in Introduction to Semantics and Formalization of Logic, Cambridge, Massachusetts: Harvard University Press. (Scholar)
Ciabattoni, A., 2004, “Automated Generation of Analytic Calculi for Logics with Linearity”, in CSL 2004, (Series: Lecture Notes in Computer Science, Volume 3210), J. Marczinkowski and A. Tarlecki (eds.), Berlin: Springer-Verlag, pp. 503–517. (Scholar)
Ciabattoni, A., and K. Terui, 2006, “Towards a Semantic Characterization of Cut-Elimination”, Studia Logica, 82: 95–119. (Scholar)
Cook, R.T., 2005, “What’s Wrong with Tonk?”, Journal of Philosophical Logic, 34: 217–226. (Scholar)
Cross, C., and F. Roelofsen, 2018, “Questions”, Stanford Encyclopedia of Philosophy (Spring 2018 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/spr2018/entries/questions/\(\gt\). (Scholar)
Dalla Chiara, Maria Luisa, R. Giuntini, and R. Greechie, 2004, Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics, Dordrecht: Kluwer. (Scholar)
Davies, Martin, and Lloyd Humberstone, 1980, “Two Notions of Necessity”, Philosophical Studies, 38: 1–30. (Scholar)
De, Michael, and Hitoshi Omori, 2014, “More on Empirical Negation”, in R. Goré, B. Kooi and A. Kurucz (eds.), Advances in Modal Logic, Vol. 10, pp. 114–133. (Scholar)
de Jongh, D.H.J., and L.A. Chagrova, 1995, “The Decidability of Dependency in Intuitionistic Propositional Logic”, Journal of Symbolic Logic, 60: 498–504. (Scholar)
Deutsch, David, 1989, “Quantum Computational Networks”, Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences, 425: 73–90. (Scholar)
Deutsch, David, Artur Ekert, and Rossella Lupacchini, 2000, “Machines, Logic and Quantum Physics”, Bulletin of Symbolic Logic, 6: 265–283. (Scholar)
Dicher, Bogdan, 2016, “Weak Disharmony: Some Lessons for Proof-Theoretic Semantics”, Review of Symbolic Logic, 9: 583–602. (Scholar)
Došen, Kosta, and Peter Schroeder-Heister, 1985, “Conservativeness and Uniqueness”, Theoria, 51: 159–173. (Scholar)
–––, 1988, “Uniqueness, Definability and Interpolation”, Journal of Symbolic Logic, 53: 554–570. (Scholar)
Dummett, M.A., 1991, The Logical Basis of Metaphysics, Cambridge, Massachusetts: Harvard University Press. (Scholar)
Dunn, J.M., and G.M. Hardegree, 2001, Algebraic Methods in Philosophical Logic, Oxford: Clarendon Press. (Scholar)
Ertola Biraben, R.C., 2012, “On Some Extensions of Intuitionistic Logic”, Bulletin of the Section of Logic, 41: 17–22. (Scholar)
Ertola Biraben, R.C., and H. J. San Martín, 2011, “On Some Compatible Operations on Heyting Algebras”, Studia Logica, 98: 331–345. (Scholar)
Fariñas del Cerro, Luis, and Andreas Herzig, 1996, “Combining Classical and Intuitionistic Logic”, in Frontiers of Combining Systems, F. Baader and K. Schulz (eds.), Dordrecht: Kluwer, pp. 93–102. (Scholar)
Font, J.M., and P. Hájek, 2002, “On Łukasiewicz’s Four-Valued Modal Logic”, Studia Logica, 70: 157–182. (Scholar)
Francez, Nissim, 2014, “Harmony in Multiple-Conclusion Natural-Deduction”, Logica Universalis, 8: 215–259. (Scholar)
Francez, Nissim, and Roy Dyckhoff, 2012, “A Note on Harmony”, Journal of Philosophical Logic, 41: 613–628. (Scholar)
Fusco, Melissa, 2015, “Deontic Modality and The Semantics of Choice”, Philosophers’ Imprint 15, Article No. 28. (Scholar)
–––, 2018, “Naturalizing Deontic Logic: Indeterminacy, Diagonalization, and Self-Affirmation”, Philosophical Perspectives, 32: 165–187. (Scholar)
Gabbay, D.M., 1977, “On Some New Intuitionistic Propositional Connectives, I”, Studia Logica, 36: 127–139. (Scholar)
–––, 1978, “What is a Classical Connective?”, Zeitschr. für math. Logik und Grundlagen der Math., 24: 37–44. (Scholar)
–––, 1981, Semantical Investigations in Heyting’s Intuitionistic Logic, Dordrecht: Reidel. (Scholar)
Garson, James W., 1990, “Categorical Semantics”, in Truth or Consequences: Essays in Honor of Nuel Belnap, J.M. Dunn and A. Gupta (eds.), Dordrecht: Kluwer, pp. 155–175. (Scholar)
–––, 2001, “Natural Semantics: Why Natural Deduction is Intuitionistic”, Theoria, 67: 114–139. (Scholar)
–––, 2013, What Logics Mean: From Proof Theory to Model-Theoretic Semantics, Cambridge: Cambridge University Press. (Scholar)
Gentzen, G., 1934, “Untersuchungen über das Logische Schliessen”, Math. Zeitschrift, 39: 176–210, 405–431; English translation in The Collected Papers of Gerhard Genzen, M. Szabo (ed.), Amsterdam: North-Holland, 1969. (Scholar)
Girard, Jean-Yves, 1987, “Linear Logic”, Theoretical Computer Science, 50: 1–102. (Scholar)
Girard, Jean-Yves, with Paul Taylor and Yves Lafont, 1989, Proofs and Types, Cambridge: Cambridge University Press. (Scholar)
Groenendijk, Jeroen, and Martin Stokhof, 1982, “Semantic Analysis of \(Wh\)-Complements”, Linguistics and Philosophy, 5: 175–233. (Scholar)
Hamblin, C.L., 1967, “One-Valued Logic”, Philosophical Quarterly, 17: 38–45. (Scholar)
Hand, Michael, 1993, “Negations in Conflict”, Erkenntnis, 38: 115–29. (Scholar)
Hart, W.D., 1982, “Prior and Belnap”, Theoria, 48: 127–138. (Scholar)
Harris, J.H., 1982, “What’s so Logical about the ‘Logical’ Axioms?”, Studia Logica, 41: 159–171. (Scholar)
Hodes, Harold, 2004, “On the Sense and Reference of a Logical Constant”, Philosophical Quarterly, 54: 134–165. (Scholar)
Horn, Laurence R., and Heinrich Wansing, 2022, “Negation”, The Stanford Encyclopedia of Philosophy (Winter 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.), URL \(= \lt\)https://plato.stanford.edu/archives/win2022/entries/negation/\(\gt\). (Scholar)
Hjortland, Ole, 2012, “Harmony and the Context of Deducibility”, in Insolubles and Consequences: Essays in Honour of Stephen Read, Dutilh Novaes, C., and O. T. Hjorltand (eds.), London: College Publications, pp. 105–117. (Scholar)
Holliday, Wesley H., 2023, “A Fundamental Non-Classical Logic”, Logics, 1:36–79. (Scholar)
Holliday, Wesley H., and Matthew Mandelkern, 2022, “Compatibility, Compossibility, and Epistemic Modality”, in M. Degano, T. Roberts, G. Sbardolini & M. Schouwstra (eds.), Proceedings of the 23rd Amsterdam Colloquium, Institute for Logic, Language and Computation, UvA, Amsterdam. (Scholar)
Hösli, Brigitte, and Gerhard Jäger, 1994, “About Some Symmetries of Negation”, Journal of Symbolic Logic, 59: 473–485. (Scholar)
Hudson, James L., 1975, “Logical Subtraction”, Analysis, 35: 130–135. (Scholar)
Huet, Gérard, and Gordon Plotkin (eds.), 1991, Logical Frameworks, Cambridge: Cambridge University Press. (Scholar)
Humberstone, Lloyd, 1995, “Negation by Iteration”, Theoria, 61: 1–24. (Scholar)
–––, 1998, “Many-Valued Logics, Philosophical Issues in”, Routledge Encyclopedia of Philosophy, Vol. 6, E. Craig (ed.), Routledge: London, pp. 84–91. (Scholar)
–––, 2000, “Parts and Partitions”, Theoria, 66: 41–82. (Scholar)
–––, 2002, “The Modal Logic of Agreement and Noncontingency”, Notre Dame Journal of Formal Logic, 43: 95–127. (Scholar)
–––, 2011, The Connectives, Cambridge MA: MIT Press. (Scholar)
–––, 2013, “Logical Relations”, Philosophical Perspectives, 27: 176–230. (Scholar)
–––, 2014, “Prior’s OIC Nonconservativity Example Revisited”, Journal of Applied Non-Classical Logics, 24: 209–235. (Scholar)
–––, 2015, “Béziau on And and \(Or\)”, in The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau, Volume I, A. Koslow and A. Buchsbaum (eds.), Heidelberg: Birkhäuser, pp. 283–307. (Scholar)
–––, 2016, Philosophical Applications of Modal Logic, London: College Publications. (Scholar)
–––, 2019, “Supervenience, Dependence, Disjunction”, Logic and Logical Philosophy, 28: 3–135. (Scholar)
Hyde, Dominic, 1997, “From Heaps and Gaps to Heaps of Gluts”, Mind, 106: 641–60. (Scholar)
Jankov, V.A., 1969, “Conjunctively Indecomposable Formulas in Propositional Calculi”, Math. USSR—Izvestija, 3: 17–35. (Scholar)
Kaminski, M. 1988, “Nonstandard Connectives of Intuitionistic Propositional Logic”, Notre Dame Journal of Formal Logic, 29: 309–331. (Scholar)
Kalinowski, Georges, 1967, review of L. S. Rogowski, “Logika kierunkowa a heglowska teza o sprzeczności zmiany” [Directional logic and Hegel’s thesis on the contradiction of change (1964)], Revue Philosophique de Louvain, 86: 239–241.
Koslow, A., 1992, A Structuralist Theory of Logic, Cambridge: Cambridge University Press. (Scholar)
Leblanc, Hugues, 1966, “Two Separation Theorems for Natural Deduction”, Notre Dame Journal of Formal Logic, 7: 159–180. (Scholar)
Lemmon, E.J., 1965, Beginning Logic, London: Nelson. (Scholar)
Lewis, David, 1982 “‘Whether’ Report”, T. Pauli (ed.), \(\langle 320311\rangle\): Philosophical Essays Dedicated to Lennart Aqvist on his Fiftieth Birthday, T. Pauli (ed.), University of Uppsala, pp. 194–206. (Scholar)
López-Escobar, E.G.K., 1985, “On Intuitionistic Sentential Connectives. I”, Revista Colombiana de Matemáticas, 19: 117–130. (Scholar)
Łukasiewicz, Jan, 1953, “A System of Modal Logic”, Journal of Computing Systems, 1: 111–149. Reprinted in Jan Łukasiewicz: Selected Works, L. Borkowski (ed.), Amsterdam: North-Holland, 1970. (Scholar)
MacFarlane, John, 2015, “Logical Constants”, The Stanford Encyclopedia of Philosophy (Summer 2015 Edition), Edward N. Zalta (ed.), URL \(= \lt\)https://plato.stanford.edu/archives/sum2015/entries/logical-constants/\(\gt\). (Scholar)
Makinson, David, 2014, “Intelim Rules for Classical Connectives”, in David Makinson on Classical Methods for Non-Classical Problems, S. O. Hansson (ed.), Dordrecht: Springer, pp. 359–385. (Scholar)
McNamara, Paul, 2019, “Deontic Logic”, The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), Edward N. Zalta (ed.), URL \(= \lt\) https://plato.stanford.edu/archives/sum2019/entries/logic-deontic/\(\gt\). (Scholar)
Meyer, Robert K., 1974, “Entailment is not Strict Implication”, Australasian Journal of Philosophy, 52: 211–231. (Scholar)
Milne, Peter, 1994, “Classical Harmony: Rules of Inference and the Meaning of the Logical Constants”, Synthese, 100: 49–94. (Scholar)
–––, 2002, “Harmony, Purity, Simplicity and a ‘Seemingly Magical Fact’”, The Monist, 85: 498–534. (Scholar)
–––, 2015, “Inversion Principles and Introduction Rules”, in Wansing (2015), pp. 189–224. (Scholar)
Morton, Adam, 1973, “Denying the Doctrine and Changing the Subject”, Journal of Philosophy, 70: 503–510. (Scholar)
Niki, S., and Hitoshi Omori, 2022, “Another Combination of Classical and Intuitionistic Conditionals”, in A. Indrzejczak and M. Zawidzki (eds), 10th International Conference on Non-Classical Logics: Theory and Applications (NCL 2022), pp. 174–188. (Scholar)
Omori, Hitoshi, and Heinrich Wansing, 2018, “On Contra-Classical Variants of Nelson Logic N4 and Its Classical Extension”, Review of Symbolic Logic, 11:805–820. (Scholar)
Ono, Hiroakira, and Yuichi Komori, 1985, “Logics without the Contraction Rule”, Journal of Symbolic Logic, 50: 169–201. (Scholar)
Orłowska, Ewa, 1985, “Semantics of Nondeterministic Possible Worlds”, Bulletin of the Polish Academy of Sciences (Mathematics), 33: 453–458. (Scholar)
Pahi, B., 1971, “Full Models and Restricted Extensions of Propositional Calculi”, Zeitschr. für math. Logik und Grundlagen der Math., 17: 5–10. (Scholar)
Paoli, F., 2019, “Bilattice Logics and Demi-Negation”, in H. Omori, H. Wansing (eds.), New Essays on Belnap-Dunn Logic, Basel: Springer, pp. 233–253. (Scholar)
Peacocke, Christopher, 1987, “Understanding Logical Constants: A Realist’s Account”, Proceedings of the British Academy, 73: 153–199. (Scholar)
Poggiolesi, Francesca, and Greg Restall, 2012, “Interpreting and Applying Proof Theories for Modal Logic”, in New Waves in Philosophical Logic, G. Restall and G. Russell (eds.), New York: Palgrave Macmillan, pp. 39–62. (Scholar)
Pollard, Stephen, 2002, “The Expressive Truth Conditions of Two-Valued Logic”, Notre Dame Journal of Formal Logic, 43: 221–230. (Scholar)
Pollard, Stephen, and Norman M. Martin, 1996, “Closed Bases and Closure Logic”, The Monist, 79: 117–127. (Scholar)
Popper, Karl, 1948, “On the Theory of Deduction”, Indagationes Math., 10: 44–54, 111–120. (Scholar)
Porte, Jean, 1979, “The \(\Omega\)-System and the Ł-System of Modal Logic”, Notre Dame Journal of Formal Logic, 20: 915–920. (Scholar)
Priest, Graham, 2006, Doubt Truth to Be a Liar, Oxford: Oxford University Press. (Scholar)
Prior, A.N., 1957, Time and Modality, Oxford: Clarendon Press. (Scholar)
–––, 1960, “The Runabout Inference-Ticket”, Analysis, 21: 38–39. Reprinted in Papers in Logic and Ethics, P.T. Geach and A. Kenny (eds.), London: Duckworth, 1976, pp. 85–87. (Scholar)
–––, 1964, “Conjunction and Contonktion Revisited”, Analysis, 24: 191–5. Reprinted in Papers in Logic and Ethics, P.T. Geach and A. Kenny (eds.), London: Duckworth, 1976, pp. 159–164. (Scholar)
Quine, W.V., 1951, Mathematical Logic, Cambridge, Massachusetts: Harvard University Press. (Scholar)
Rabinowicz, W., and K. Segerberg, 1994, “Actual Truth, Possible Knowledge”, Topoi 13: 101–115. (Scholar)
Rahman, Shahid, 2012, “Negation in the Logic of First Degree Entailment and Tonk: a Dialogical Study”, in The Realism-Antirealism Debate in the Age of Alternative Logics, S. Rahman, G. Primiero, and M. Marion (eds.), pp. 213–250, Berlin: Springer. (Scholar)
Rautenberg, Wolfgang, 1981, “2-Element Matrices”, Studia Logica, 40: 315–353. (Scholar)
–––, 1985, “Consequence Relations of 2-Element Algebras”, in Foundations of Logic and Linguistics: Problems and their Solutions, G. Dorn and P. Weingartner (eds.), New York: Plenum Press, pp. 3–23. (Scholar)
–––, 1989, “A Calculus for the Common Rules of \(\wedge\) and \(\vee\)”, Studia Logica, 48: 531–537. (Scholar)
–––, 1991, “Common Logic of 2-Valued Semigroup Connectives”, Zeitschr. für math. Logik und Grundlagen der Math., 37: 187–192. (Scholar)
Read, Stephen, 1988, Relevant Logic, Oxford: Basil Blackwell. (Scholar)
–––, 2000, “Harmony and Autonomy in Classical Logic”, Journal of Philosophical Logic, 29: 123–154. (Scholar)
–––, 2010, “General-Elimination Harmony and the Meaning of the Logical Constants”, Journal of Philosophical Logic, 39, 557–76. (Scholar)
–––, 2015, “General-Elimination Harmony and Higher-Level Rules”, in Wansing (2015), pp. 293–312. (Scholar)
Restall, Greg, 1993, “How to be Really Contraction Free”, Studia Logica, 52: 381–391. (Scholar)
–––, 1999, “Negation in Relevant Logics”, in What is Negation?, D.M. Gabbay and H. Wansing (eds.), Dordrecht: Kluwer, pp. 53–76. (Scholar)
–––, 2000, An Introduction to Substructural Logics, London: Routledge. (Scholar)
Rousseau, G.F., 1968, “Sheffer Functions in Intuitionistic Logic”, Zeitschr. für math. Logik und Grundlagen der Math., 14: 279–282. (Scholar)
Schroeder-Heister, Peter, 1984, “Popper’s Theory of Deductive Inference and the Concept of a Logical Constant”, History and Philosophy of Logic, 5: 79–110. (Scholar)
–––, 2014, “Proof-Theoretic Semantics ”, The Stanford Encyclopedia of Philosophy (Summer 2014 Edition), Edward N. Zalta (ed.), URL \(= \lt\)https://plato.stanford.edu/archives/sum2014/entries/proof-theoretic-semantics/\(\gt\). (Scholar)
–––, 2015, “Harmony in Proof-Theoretic Semantics: A Reductive Analysis”, in Wansing (2015), pp. 329–358. (Scholar)
Segerberg, Krister, 1982, Classical Propositional Operators, Oxford: Clarendon. (Scholar)
Setlur, R.V., 1970, “The Product of Implication and Counter-Implication Systems”, Notre Dame Journal of Formal Logic, 11: 241–248. (Scholar)
Shoesmith, D. J., and T.J. Smiley, 1978, Multiple-Conclusion Logic, Cambridge: Cambridge University Press. (Scholar)
Smiley, T.J., 1961, “On Łukasiewicz’s Ł-modal System”, Notre Dame Journal of Formal Logic, 2: 149–153. (Scholar)
–––, 1962, “The Independence of Connectives”, Journal of Symbolic Logic, 27: 426–436. (Scholar)
Stalnaker, Robert, 1978, “Assertion”, in P. Cole (ed.), Syntax and Semantics 9: Pragmatics, New York: New York Academic Press, pp. 315–332. (Scholar)
Steinberger, Florian, 2011, “What Harmony Could and Could Not Be”, Australasian Journal of Philosophy, 89: 617–639. (Scholar)
Stevenson, J.T., 1961, “Roundabout the Runabout Inference-Ticket”, Analysis, 21: 124–128. (Scholar)
Sundholm, Göran, 2001, “The Proof Theory of Stig Kanger: A Personal Reflection”, in Collected Papers of Stig Kanger, With Essays on His Life and Work, G. Holmström-Hintikka, S. Lindström, and R. Slivinski (eds.), Dordecht: Kluwer, Vol. II, pp. 31–42. (Scholar)
Tennant, Neil, 1978, Natural Logic, Edinburgh: Edinburgh University Press. (Scholar)
–––, 1987, Anti-Realism and Logic, Oxford: Clarendon Press. (Scholar)
–––, 2005, “Rule-Circularity and the Justification of Deduction”, Philosophical Quarterly, 55: 625–645. (Scholar)
Tong, Haotian, and Dag Westerståhl, 2023, “Carnap’s Problem for Intuitionistic Propositional Logic”, Logics, 1: 163–181. (Scholar)
Troelstra, A.S., 1992, Lectures on Linear Logic, (Series: CSLI Lecture Notes, Number 29), Stanford, California: CSLI Publications. (Scholar)
Turzyński, Konrad, 1990, “The Temporal Functors in the Directional Logic of Rogowski: Some Results”, Bulletin of the Section of Logic, 19: 30–32. (Scholar)
Urquhart, Alasdair, 1974, “Implicational Formulas in Intuitionistic Logic”, Journal of Symbolic Logic, 39: 661–664. (Scholar)
van Toor, Jonathan, 2022, “Pattern Connectives”, Journal of Logic and Computation, 32: 1365–1374. (Scholar)
Wagner, Steven, 1981, “Tonk”, Notre Dame Journal of Formal Logic, 22: 289–300. (Scholar)
Wansing, Heinrich, 2006, “Connectives Stranger than Tonk”, Journal of Philosophical Logic, 35: 653–660. (Scholar)
–––, 2015, (ed.), Dag Prawitz on Proofs and Meaning, Basel: Springer.
Wansing, Heinrich, Grigory Olkhovikov, and Hitoshi Omori, 2021 “Questions to Michael Dunn”, Logical Investigations 27: 9–19. (Scholar)
Weir, Alan, 1986, “Classical Harmony”, Notre Dame Journal of Formal Logic, 27: 459–482. (Scholar)
Williamson, Timothy, 2006a, “Indicative versus Subjunctive Conditionals, Congruential versus Non-Hyperintensional Contexts”, Philosophical Issues, 16: 310–333. (Scholar)
–––, 2006b, “Conceptual Truth”, Aristotelian Society Supplementary Volume, 80: 1–41. (Scholar)
–––, 2012, “Boghossian and Casalegno on Understanding and Inference”, Dialectica, 66: 237–247. (Scholar)
Woods, Jack, 2013, “Failures of Categoricity and Compositionality for Intuitionistic Disjunction”, Thought, 1: 281–291. (Scholar)
Yablo, Stephen, 2014, Aboutness, Princeton: Princeton University Press. (Scholar)
Zolin, Evgeni E., 2000, “Embeddings of Propositional Monomodal Logics”, Logic Journal of the IGPL, 8: 861–882. (Scholar)

Generated Mon Sep 9 09:20:30 2024

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...