Hybrid journal (It can contain Open Access articles) ISSN (Print) 1367-0751 - ISSN (Online) 1368-9894 Published by Oxford University Press[413 journals]
Authors:Olkhovikov G. Pages: 259 - 289 Abstract: AbstractWe axiomatize stit logic of justification announcements (JA-STIT) interpreted over models with discrete time structure. The resulting Hilbert-style axiomatic system ΣD is strictly stronger than the system Σ presented in the study by Olkhovikov (2018, J. Logic Comput., to appear) as axiomatization of JA-STIT over the general class of justification stit models. We then prove a rather general strong completeness theorem for ΣD. PubDate: Tue, 27 Feb 2018 00:00:00 GMT DOI: 10.1093/jigpal/jzy002 Issue No:Vol. 26, No. 3 (2018)
Authors:Heubo-Kwegna O; Lele C, Ndjeya S, et al. Pages: 290 - 299 Abstract: AbstractThe main goal of this article is to initiate the study of commutative rings whose lattice of ideals can be equipped with a structure of BL-algebra, referred to henceforth as BL-rings. We obtain a description of such rings in terms of their subdirectly irreducible factors. We also investigate their connections with some prominent classes of commutative rings such as multiplication rings, Baer rings, Dedekind rings and Von Neumann rings. PubDate: Wed, 28 Feb 2018 00:00:00 GMT DOI: 10.1093/jigpal/jzy001 Issue No:Vol. 26, No. 3 (2018)
Authors:Standefer S. Pages: 300 - 315 Abstract: AbstractA tree natural deduction system for Anderson and Belnap’s relevant logic E is presented and shown equivalent to a Hilbert-style axiomatization of E. Using an idea from Prawitz, a variant tree system is motivated and shown equivalent to the Hilbert-style system via a detour through Anderson and Belnap’s Fitch system for E. PubDate: Fri, 02 Mar 2018 00:00:00 GMT DOI: 10.1093/jigpal/jzy003 Issue No:Vol. 26, No. 3 (2018)
Authors:Kudinov A. Pages: 316 - 338 Abstract: AbstractThe paper considers modal logics of products of neighbourhood frames. The n-product of modal logics is the logic of all products of neighbourhood frames of the corresponding logics. We find the n-product of any two pretransitive Horn axiomatizable logics. As a corollary, we find the d-logic of products of topological spaces from some classes of topological spaces. PubDate: Mon, 26 Mar 2018 00:00:00 GMT DOI: 10.1093/jigpal/jzy004 Issue No:Vol. 26, No. 3 (2018)