Distributivity in Lℵ0 and Other Sentential Logics

Abstract

Certain distributivity results for Lukasiewicz’s infinite-valued logic Lℵ0 are proved axiomatically (for the first time) with the help of the automated reasoning program Otter [16]. 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 findingprograms Mace [15] and MaGIC [25].

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,101

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Distributivity and Dependency.Yoad Winter - 2000 - Natural Language Semantics 8 (1):27-69.
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Generalized distributivity operators.Peter Lasersohn - 1998 - Linguistics and Philosophy 21 (1):83-93.
On S.André Fuhrmann & Edwin D. Mares - 1994 - Studia Logica 53 (1):75 - 91.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.

Analytics

Added to PP
2010-12-22

Downloads
33 (#355,740)

6 months
2 (#297,033)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Branden Fitelson
Northeastern University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references