An algebraic axiomatization of the Ewald's intuitionistic tense logic
AV Figallo, G Pelaitay - Soft Computing, 2014 - Springer
Abstract Ewald (J Symbolic Logic 51 (1): 166–179, 1986) considered tense operators GG,
HH, FF and PP on intuitionistic propositional calculus and constructed an intuitionistic tense …
HH, FF and PP on intuitionistic propositional calculus and constructed an intuitionistic tense …
On tense MV-algebras
M Botur, J Paseka - Fuzzy Sets and Systems, 2015 - Elsevier
The main aim of this article is to study tense MV-algebras which are just MV-algebras with
new unary operations G and H which express a universal time quantifiers. Tense MV …
new unary operations G and H which express a universal time quantifiers. Tense MV …
Discrete duality for tense Łukasiewicz–Moisil algebras
AV Figallo, G Pelaitay - Fundamenta Informaticae, 2015 - content.iospress.com
In 2007, tense Łukasiewicz–Moisil algebras were introduced by Diaconescu and Georgescu
as an algebraic counterpart of tense n–valued Moisil logic. These algebras constitute a …
as an algebraic counterpart of tense n–valued Moisil logic. These algebras constitute a …
Subdirectly irreducible IKt-algebras
AV Figallo, I Pascual, G Pelaitay - Studia Logica, 2017 - Springer
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 …
axiomatization of the Ewald's intuitionistic tense logic by the first and third author. Now we …
Tense operators in fuzzy logic
I Chajda, J Paseka - Fuzzy Sets and Systems, 2015 - Elsevier
The aim of the paper is to introduce and describe tense operators in every fuzzy logic which
is axiomatized by means of a residuated poset. For this we use the axiomatization of …
is axiomatized by means of a residuated poset. For this we use the axiomatization of …
[PDF][PDF] The Poset-based Logics for the De Morgan Negation and Set Representation of Partial Dynamic De Morgan Algebras.
I Chajda, J Paseka - J. Multiple Valued Log. Soft Comput., 2018 - academia.edu
By a De Morgan algebra is meant a bounded poset equipped with an antitone involution
considered as negation. Such an algebra can be considered as an algebraic axiomatization …
considered as negation. Such an algebra can be considered as an algebraic axiomatization …
Tense operators and dynamic De Morgan algebras
I Chajda, J Paseka - 2013 IEEE 43rd International symposium …, 2013 - ieeexplore.ieee.org
To every propositional logic satisfying double negation law is assigned a De Morgan poset
ε. Using of axioms for an universal quantifier, we set up axioms for the so-called tense …
ε. Using of axioms for an universal quantifier, we set up axioms for the so-called tense …
A representation theorem for tense -valued Łukasiewicz-Moisil algebras
AV Figallo, G Pelaitay - Mathematica Bohemica, 2015 - dml.cz
In 2000, Figallo and Sanza introduced $ n\times m $-valued Łukasiewicz-Moisil algebras
which are both particular cases of matrix Łukasiewicz algebras and a generalization of $ n …
which are both particular cases of matrix Łukasiewicz algebras and a generalization of $ n …
[PDF][PDF] A Dynamic Effect Algebras with dual operation
J Paseka, J Janda - Mathematics for Applications, 2012 - mathsapplication.com
Tense operators for MV-algebras were introduced by Diaconescu and Georgescu. Based on
their definition Chajda and Kolarık presented the definition of tense operators for lattice …
their definition Chajda and Kolarık presented the definition of tense operators for lattice …
Dynamic order algebras as an axiomatization of modal and tense logics
I Chajda, J Paseka - International Journal of Theoretical Physics, 2015 - Springer
The aim of the paper is to introduce and describe tense operators in every propositional
logic which is axiomatized by means of an algebra whose underlying structure is a bounded …
logic which is axiomatized by means of an algebra whose underlying structure is a bounded …