On injective constructions of S-semigroups
X Zhang, J Paseka - Fuzzy Sets and Systems, 2019 - Elsevier
In this paper, we continue the study of injectivity for fuzzy-like structures. We extend the
results of Zhang and Laan for partially ordered semigroups to the setting of S-semigroups …
results of Zhang and Laan for partially ordered semigroups to the setting of S-semigroups …
On Heyting algebras with negative tense operators
In this paper, we will study Heyting algebras endowed with tense negative operators, which
we call tense H-algebras and we proof that these algebras are the algebraic semantics of …
we call tense H-algebras and we proof that these algebras are the algebraic semantics of …
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 …
An alternative definition of tense operators on residuated lattices
I Calomino, G Pelaitay… - Journal of Logic and …, 2024 - academic.oup.com
In this paper, we introduce and study an alternative definition of tense operators on
residuated lattices. We give a categorical equivalence for the class of tense ICRDL …
residuated lattices. We give a categorical equivalence for the class of tense ICRDL …
Tense logics based on posets
I Chajda, H LÄnger, A Ledda, J Paseka… - Journal of Logic and …, 2024 - academic.oup.com
Quantum mechanics, initially formalized with orthomodular lattices, benefits from a simpler
approach using just partially ordered sets (posets). This paper explores how logical …
approach using just partially ordered sets (posets). This paper explores how logical …
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension
I Chajda, H Länger - Studia Logica, 2024 - Springer
Abstract As Classical Propositional Logic finds its algebraic counterpart in Boolean
algebras, the logic of Quantum Mechanics, as outlined within G. Birkhoff and J. von …
algebras, the logic of Quantum Mechanics, as outlined within G. Birkhoff and J. von …
[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 …
Discrete Duality for Nelson Algebras with Tense Operators
AV Figallo, G Pelaitay, J Sarmiento - Studia Logica, 2023 - Springer
In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al.
in Studia Logica 109 (2): 285–312, 2021, Studia Logica 110 (1): 241–263, 2022). We define …
in Studia Logica 109 (2): 285–312, 2021, Studia Logica 110 (1): 241–263, 2022). We define …
Completions of posemigroups by cuts and beyond
S Li, X Zhang - Semigroup Forum, 2024 - Springer
This work is devoted to describing the completion of a posemigroup by cuts. We introduce
cut-stable morphisms between posemigroups and obtain that the category RQuant∧ of …
cut-stable morphisms between posemigroups and obtain that the category RQuant∧ of …
Tense operators on distributive lattices with implication
Inspired by the definition of tense operators on distributive lattices presented by Chajda and
Paseka in 2015, in this paper, we introduce and study the variety of tense distributive lattices …
Paseka in 2015, in this paper, we introduce and study the variety of tense distributive lattices …