Subdirectly Irreducible IKt-Algebras

Studia Logica 105 (4):673-701 (2017)
  Copy   BIBTEX

Abstract

The IKt-algebras that we investigate in this paper were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. Now we characterize by topological methods the subdirectly irreducible IKt-algebras and particularly the simple IKt-algebras. Finally, we consider the particular cases of finite IKt-algebras and complete IKt-algebras.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Pure Hilbert Algebras with Infimum.Aldo Figallo Jr - 2007 - Logic Journal of the IGPL 15 (5-6):527-533.
Subdirectly irreducible state-morphism BL-algebras.Anatolij Dvurečenskij - 2011 - Archive for Mathematical Logic 50 (1-2):145-160.
On subdirectly irreducible OMAs.Richard Holzer - 2004 - Studia Logica 78 (1-2):261 - 277.
Quasi‐Stone algebras.Nalinaxi H. Sankappanavar & Hanamantagouda P. Sankappanavar - 1993 - Mathematical Logic Quarterly 39 (1):255-268.
Weak‐quasi‐Stone algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
Distributive lattices with an operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
An example of the commutative BCK-algebra.Marek Palasinski - 1980 - Bulletin of the Section of Logic 9 (4):163-165.
A Note On Classical Modal Relevant Algebras.Sergio Celani - 1998 - Reports on Mathematical Logic:35-52.

Analytics

Added to PP
2017-02-07

Downloads
14 (#846,545)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?