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].
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Translate to english
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,122
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
Added to PP index
2010-12-22

Total downloads
18 ( #277,078 of 2,191,302 )

Recent downloads (6 months)
1 ( #291,146 of 2,191,302 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature