Logical Discrimination

  • Lloyd Humberstone


We discuss conditions under which the following ‘truism’ does indeed express a truth: the weaker a logic is in terms of what it proves, the stronger it is as a tool for registering distinctions amongst the formulas in its language.


logics consequence relations synonymous formulas 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. R. Anderson and N. D. Belnap, Entailment: the Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ 1975.MATHGoogle Scholar
  2. [2]
    Jean-Yves Béziau, ‘Classical Negation Can Be Expressed by One of its Halves', Logic Journal of the IGPL 7 (1999), 145–151.MATHGoogle Scholar
  3. [3]
    R. J. Bignall and M. Spinks, ‘Multiple-Valued Logics for Theorem-Proving in First Order Logic with Equality', Proceedings of the 28th IEEE Symposium on Multiple-Valued Logics 1998, pp. 102–107.Google Scholar
  4. [4]
    Wim J. Blok and Don L. Pigozzi, ‘Algebraizable Logics', Memoirs of the American Math. Soc. 77 (1989), #396.Google Scholar
  5. [5]
    Stephen Blamey, ‘Partial Logic', pp. 261–353 in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Second Edition, Vol. 5, Kluwer, Dordrecht 2002.Google Scholar
  6. [6]
    Stanley Burris, ‘Discriminator Varieties and Symbolic Computation', Journal of Symbolic Computation 13 (1992), 175–207.MATHMathSciNetCrossRefGoogle Scholar
  7. [7]
    J. P. Cleave, A Study of Logics, Clarendon Press, Oxford 1991.MATHGoogle Scholar
  8. [8]
    J. Czelakowski, ‘Equivalential Logics (I)', Studia Logica 40 (1981), 227–236.MATHMathSciNetCrossRefGoogle Scholar
  9. [9]
    J. Czelakowski, Protoalgebraic Logics, Kluwer, Dordrecht 2001.MATHGoogle Scholar
  10. [10]
    J. M. Font, R. Jansana and D. Pigozzi, ‘A Survey of Abstract Algebraic Logic', Studia Logica 74 (2003), 13–97.MathSciNetMATHGoogle Scholar
  11. [11]
    D. M. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht 1981.MATHGoogle Scholar
  12. [12]
    J. Roger Hindley, ‘BCK and BCI Logics, Condensed Detachment and the 2-Property', Notre Dame Journal of Formal Logic 34 (1993), 231–250.MATHMathSciNetGoogle Scholar
  13. [13]
    Lloyd Humberstone, ‘Unique Characterization of Connectives’ (Abstract) Journal of Symbolic Logic 49 (1984), 1426–1427.Google Scholar
  14. [14]
    Lloyd Humberstone, ‘A More Discriminating Approach to Modal Logic’ (Abstract) Journal of Symbolic Logic 51 (1986), 503–504.Google Scholar
  15. [15]
    Lloyd Humberstone, [22], Australasian Journal of Philosophy 73 (1995), 475–481.Google Scholar
  16. [16]
    Lloyd Humberstone, ‘Classes of Valuations Closed Under Operations Galois-Dual to Boolean Sentence Connectives', Publications of the Research Institute of Mathematical Sciences, Kyoto University 32 (1996), 9–84.MATHMathSciNetGoogle Scholar
  17. [17]
    Lloyd Humberstone, ‘Contra-Classical Logics', Australasian Journal of Philosophy 78 (2000), 437–474.CrossRefGoogle Scholar
  18. [18]
    Lloyd Humberstone, ‘Béziau's Translation Paradox', to appear in Theoria.Google Scholar
  19. [19]
    Lloyd Humberstone, ‘Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5', to appear in Journal of Philosophical Logic.Google Scholar
  20. [20]
    Lloyd Humberstone, ‘Variations on a Theme of Curry', submitted for publication.Google Scholar
  21. [21]
    J. Kabziński, ‘BCI-Algebras From the Point of View of Logic', Bulletin of the Section of Logic 12 (1983), 126–129.MATHGoogle Scholar
  22. [22]
    Arnold Koslow, A Structuralist Theory of Logics, Cambridge University Press, Cambridge 1992.Google Scholar
  23. [23]
    J. R. Lucas, A Treatise on Time and Space, Methuen, London 1973.Google Scholar
  24. [24]
    Jan Łukasiewicz, ‘On the Intuitionistic Theory of Deduction', pp. 325–340 in L. Borkowski (ed., Jan Łukasiewicz: Selected Works, North-Holland, Amsterdam 1970. (Article originally published 1952.)Google Scholar
  25. [25]
    E. P. Martin and R.. K. Meyer, ‘Solution to the P — W Problem', Journal of Symbolic Logic 47 (1982), 869–887.MathSciNetMATHGoogle Scholar
  26. [26]
    C. Mortensen and T. Burgess, ‘On Logical Strength and Weakness', History and Philosophy of Logic 10 (1989), 47–51.MathSciNetGoogle Scholar
  27. [27]
    D. Nelson, ‘Negation and the Separation of Concepts in Constructive Systems', pp. 208–225 in A. Heyting (ed.), Contructivity in Mathematics: Proceedings of a conference held at Amsterdam 1957, North-Holland, Amsterdam 1959.Google Scholar
  28. [28]
    Francesco Paoli, Substructural Logics: A Primer, Kluwer, Dordrecht 2002.MATHGoogle Scholar
  29. [29]
    Jean Porte, ‘Congruences in Lemmon's S0.5', Notre Dame Journal of Formal Logic 21 (1980), 672–678.MATHMathSciNetGoogle Scholar
  30. [30]
    A. N. Prior, ‘Time and Change', Ratio 10 (1968), 173–177.Google Scholar
  31. [31]
    W. V. Quine, ‘Grades of Discriminability', pp. 129–133 in Quine, Theories and Things, Harvard University Press, Cambridge, Mass. 1981. (Article originally published 1976.)Google Scholar
  32. [32]
    Dana Scott, ‘Rules and Derived Rules', pp.147–161 in S. Stenlund (ed.), Logical Theory and Semantic Analysis, Reidel, Dordrecht 1974.Google Scholar
  33. [33]
    K. Segerberg, Classical Propositional Operators, Clarendon Press, Oxford 1982.MATHGoogle Scholar
  34. [34]
    Timothy Smiley, ‘The Independence of Connectives', Journal of Symbolic Logic 27 (1962), 426–436.MathSciNetGoogle Scholar
  35. [35]
    M. Spasowski, ‘Some Properties of the Operation d', Reports on Mathematical Logic 3 (1974), 53–56.MATHMathSciNetGoogle Scholar
  36. [36]
    Neil Tennant, ‘Deductive Versus Expressive Power: A Pre-Gödelian Predicament', Journal of Philosophy 97 (2000), 257–277.MathSciNetGoogle Scholar
  37. [37]
    A. S. Troelstra and D. van Dalen, Constructivism in Mathematics: An Introduction, Vols. I and II, North-Holland, Amsterdam 1988.Google Scholar
  38. [38]
    R. Wójcicki, ‘Dual Counterparts of Consequence Operations', Bulletin of the Section of Logic (Polish Academy of Sciences) 2 (1973), 54–57.Google Scholar
  39. [39]
    R. Wójcicki, Theory of Logical Calculi, Kluwer, Dordrecht 1988.Google Scholar

Copyright information

© Birkhäuser Verlag Basel/Switzerland 2005

Authors and Affiliations

  • Lloyd Humberstone
    • 1
  1. 1.Department of PhilosophyMonash UniversityVictoriaAustralia

Personalised recommendations