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].Author's Profile
My notes
Similar books and articles
Finding 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.
Analytics
Added to PP
2010-12-22
Downloads
33 (#355,740)
6 months
2 (#297,033)
2010-12-22
Downloads
33 (#355,740)
6 months
2 (#297,033)
Historical graph of downloads
Author's Profile
Citations of this work
Comments on some completeness theorems of Urquhart and méndez & Salto.Kenneth Harris & Branden Fitelson - 2001 - Journal of Philosophical Logic 30 (1):51-55.