Distributivity in Łℵ0 and Other Sentential Logics

Authors:
Kenneth Harris;Branden Fitelson
Affiliations:
University of Wisconsin–Madison, Department of Philosophy, Madison, WI 53706, U.S.A.;University of Wisconsin–Madison, Department of Philosophy, Madison, WI 53706, U.S.A.
Venue:
Journal of Automated Reasoning
Year:
2001

Citing 2
Cited 4

The automation of reasoning: an experimenter's notebook with OTTER tutorial

The automation of reasoning: an experimenter's notebook with OTTER tutorial
A fascinating country in the world of computing: your guide to automated reasoning

A fascinating country in the world of computing: your guide to automated reasoning

A Legacy Recalled and a Tradition Continued

Journal of Automated Reasoning
Missing Proofs Found

Journal of Automated Reasoning
More Proofs of an Axiom of Łukasiewicz

Journal of Automated Reasoning
(Dual) hoops have unique halving

Automated Reasoning and Mathematics

Quantified Score

Hi-index	0.00

Visualization

Abstract

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, inondistributivity 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.