The purpose of this article is to investigate the variety of algebras, which we call tense De Morgan algebras, as a natural generalization of tense algebras developed in Burges (1984, Handbook of Philosophical Logic, vol. II, pp. 89–139) (see also, Kowalski (1998, Rep. Math. Logic, 32, 53–95)). It is worth mentioning that the latter is a proper subvariety of the first one, as it is shown in a simple example. Our main interest is the representation theory for these classes of algebras.Fil: Figallo, Aldo Victorio. Universidad Nacional del Sur. Departamento de Matemática; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; ArgentinaFil: Pelaitay, Gustavo Andrés. Universidad Na...
De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM...
Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three bas...
The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure ...
In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in S...
In this paper we present a category equivalent to that of tense Nelson algebras.The objects in this ...
In 2007, tense n-valued Lukasiewicz-Moisil algebras (or tense LMn-algebras) were introduced by Diaco...
In this paper, the notions of tense operators and tense filters in \(BL\)-algebras are introduced an...
Abstract. For distributive lattices, the so-called positive modal algebra was al-ready introduced by...
summary:In 2000, Figallo and Sanza introduced $n\times m$-valued Łukasiewicz-Moisil algebras which a...
In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a ...
In this paper we investigate a subvariety BA of tense algebras, which we call Boolean algebras with ...
Abstract. In this article, we continue the study of tense SHn–algebras [5]. These algebras constitut...
Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the rela...
Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on their de nitio...
Let us call “tense logic ” the programme of explaining tense in natural languages by means of a mode...
De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM...
Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three bas...
The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure ...
In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in S...
In this paper we present a category equivalent to that of tense Nelson algebras.The objects in this ...
In 2007, tense n-valued Lukasiewicz-Moisil algebras (or tense LMn-algebras) were introduced by Diaco...
In this paper, the notions of tense operators and tense filters in \(BL\)-algebras are introduced an...
Abstract. For distributive lattices, the so-called positive modal algebra was al-ready introduced by...
summary:In 2000, Figallo and Sanza introduced $n\times m$-valued Łukasiewicz-Moisil algebras which a...
In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a ...
In this paper we investigate a subvariety BA of tense algebras, which we call Boolean algebras with ...
Abstract. In this article, we continue the study of tense SHn–algebras [5]. These algebras constitut...
Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the rela...
Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on their de nitio...
Let us call “tense logic ” the programme of explaining tense in natural languages by means of a mode...
De Morgan monoids are algebraic structures that model certain non-classical logics. The variety DMM...
Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three bas...
The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure ...