Add to ORKGIn this paper we study the tense θ-valued Moisil propositional calculus, a logical system obtained from the θ-valued Moisil propositional logic by adding two tense operators. The main result is a completeness theorem for tense θ-valued Moisil propositional logic. The proof of this theorem is based on the representation theorem of tense θ-valued Åukasiewicz-Moisil algebras, developed in a previous paper
AbstractThe n-valued Łukasiewicz–Moisil algebras, MV-algebras and Post algebras are structures devel...
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valu...
AbstractA propositional logic is expressively complete if there is a finite set of connectives which...
In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a ...
summary:In 2000, Figallo and Sanza introduced $n\times m$-valued Łukasiewicz-Moisil algebras which a...
In 2011, tense θ-valued Łukasiewicz–Moisil algebras (or tense LM θ -algebras) were introduced by Chi...
In 2007, tense n-valued Lukasiewicz-Moisil algebras (or tense LMn-algebras) were introduced by Diaco...
Abstract. For distributive lattices, the so-called positive modal algebra was al-ready introduced by...
We present in the paper a very concise but updated survey emphasizing the research done by Gr. C. M...
Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provides an alternative w...
We introduce translations between display calculus proofs and labeled calculus proofs in the context...
Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the rela...
In this paper, the notions of tense operators and tense filters in \(BL\)-algebras are introduced an...
summary:T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewi...
The purpose of this article is to investigate the variety of algebras, which we call tense De Morgan...
AbstractThe n-valued Łukasiewicz–Moisil algebras, MV-algebras and Post algebras are structures devel...
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valu...
AbstractA propositional logic is expressively complete if there is a finite set of connectives which...
In 2015, A.V. Figallo and G. Pelaitay introduced tense n×m-valued Łukasiewicz–Moisil algebras, as a ...
summary:In 2000, Figallo and Sanza introduced $n\times m$-valued Łukasiewicz-Moisil algebras which a...
In 2011, tense θ-valued Łukasiewicz–Moisil algebras (or tense LM θ -algebras) were introduced by Chi...
In 2007, tense n-valued Lukasiewicz-Moisil algebras (or tense LMn-algebras) were introduced by Diaco...
Abstract. For distributive lattices, the so-called positive modal algebra was al-ready introduced by...
We present in the paper a very concise but updated survey emphasizing the research done by Gr. C. M...
Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provides an alternative w...
We introduce translations between display calculus proofs and labeled calculus proofs in the context...
Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the rela...
In this paper, the notions of tense operators and tense filters in \(BL\)-algebras are introduced an...
summary:T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewi...
The purpose of this article is to investigate the variety of algebras, which we call tense De Morgan...
AbstractThe n-valued Łukasiewicz–Moisil algebras, MV-algebras and Post algebras are structures devel...
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valu...
AbstractA propositional logic is expressively complete if there is a finite set of connectives which...