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)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
Translate to english
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 27,204
External links
(no proxy) 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
- Only published works are available at libraries.
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articlesFinding Missing Proofs with Automated Reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
On the Degree of Complexity of Sentential Logics. A Couple of Examples.Jacek Hawranek & Jan Zygmunt - 1981 - Studia Logica 40 (2):141 - 153.
Degrees of Maximality of Łukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
Generalized Distributivity Operators.Peter Lasersohn - 1998 - Linguistics and Philosophy 21 (1):83-93.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
Monthly downloads
Added to index
2010-12-22Total downloads
17 ( #282,213 of 2,163,987 )Recent downloads (6 months)
1 ( #348,017 of 2,163,987 )How can I increase my downloads?
My notes
Discussion
Nothing in this forum yet.
