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 | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJ. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Branden Fitelson & Larry Wos (2001). Finding Missing Proofs with Automated Reasoning. Studia Logica 68 (3):329-356.
Jacek Hawranek & Jan Zygmunt (1981). On the Degree of Complexity of Sentential Logics. A Couple of Examples. Studia Logica 40 (2):141 - 153.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Peter Lasersohn (1998). Generalized Distributivity Operators. Linguistics and Philosophy 21 (1):83-93.
André Fuhrmann & Edwin D. Mares (1994). On S. Studia Logica 53 (1):75 - 91.
Kosta Došen (1992). Modal Translations in Substructural Logics. Journal of Philosophical Logic 21 (3):283 - 336.
Josep Maria Font & Miquel Rius (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic 65 (2):481-518.
Hiroakira Ono (2012). Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100 (1-2):339-359.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
