Journal of Automated Reasoning

, Volume 27, Issue 2, pp 141–156

Distributivity in Łℵ0 and Other Sentential Logics

  • Kenneth Harris
  • Branden Fitelson

DOI: 10.1023/A:1010687609134

Cite this article as:
Harris, K. & Fitelson, B. Journal of Automated Reasoning (2001) 27: 141. doi:10.1023/A:1010687609134


Certain distributivity results for Łukasiewicz's infinite-valued logic Łℵ0 are proved axiomatically (for the first time) with the help of the automated reasoning program OTTER. In addition, non distributivity results are established for a wide variety of positive substructural logics by the use of logical matrices discovered with the automated model-finding programs MACE and MAGIC.

distributivity sentential logic Łukasiewicz detachment substructural 

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Kenneth Harris
    • 1
  • Branden Fitelson
    • 1
  1. 1.Department of PhilosophyUniversity of Wisconsin–MadisonMadisonU.S.A

Personalised recommendations