Related papers: On Traczyk's BCK-sequences

Let $m$, $n$ be positive integers such that $m>n$, $\gcd(m,n)=1$ and $m \not\equiv n \bmod 2$. In 1956, L. Je\'smanowicz \cite{Jes} conjectured that the equation $(m^2 - n^2)^x + (2mn)^y = (m^2+n^2)^z$ has only the positive integer solution…

In this paper we generalize the axiom systems given by M. Pa{\l}asi\'nski, B. Wo\'zniakowska and by W.H. Cornish for commutative BCK-algebras to the case of commutative pseudo BCK-algebras. A characterization of commutative pseudo…

Motivated by a question of L. Robert, asking whether $\rm L(T(A)) = Lsc_{C}(T(A))$ for any separable C*-algebra A, we introduce and initiate the study of \emph{tracially reflexive C*-algebras}. We first prove that commutative C*-algebras…

Let $(m, n, k)$ be a tuple of integers with the property that if $i \leq k$, then $m + i$ and $n + i$ have the same radical. Using a result on the abc Conjecture, we bound $k$ from above, improving a result of Balasubramanian, Shorey, and…

Recently, Andrews, Chan, Kim and Osburn introduced the even strings and the odd strings in the overpartitions. We show that their conjecture $A_k (n) \geq B_k (n)$ holds for large enough positive integers n, where A_k(n) (resp. B_k(n)) is…

We introduce the notions of $\tau$-exceptional and signed $\tau$-exceptional sequences for any finite dimensional algebra. We prove that for a fixed algebra of rank $n$, and for any positive integer $t \leq n$, there is a bijection between…

In a recent paper, Bilu et al. studied a conjecture of Marques and Lengyel on the $p$-adic valuation of the Tribonacci sequence. In this article, we study the $p$-adic valuation of third order linear recurrence sequences by considering a…

In this paper, first, we answer affirmatively an open problem which was presented in 2005 by professor Gudder on the sub-sequential effect algebras. That is, we prove that if $(E,0,1, \oplus, \circ)$ is a sequential effect algebra and $A$…

It is shown that the unique representation of positive integers in terms of tribonacci numbers and the unique representation in terms of iterated A, B and C sequences defined from the tribonacci word are equivalent. Two auxiliary…

We consider a continuous analogue of Babai et al.'s and Cai et al.'s problem of solving multiplicative matrix equations. Given $k+1$ square matrices $A_{1}, \ldots, A_{k}, C$, all of the same dimension, whose entries are real algebraic, we…

We address three questions posed by Bibak \cite{KB20}, and generalize some results of Bibak, Lehmer and K G Ramanathan on solutions of linear congruences $\sum_{i=1}^k a_i x_i \equiv b \Mod{n}$. In particular, we obtain explicit expressions…

In this paper; we prove that all sequences can be broken up in cycles. Each cycle follows the same pattern: 1) Upward trajectory. Odd and even numbers alternate until the cycle reaches an upper bound 2) Downward trajectory. Two or more…

This paper contributes to the conjecture of R. Scott and R. Styer which asserts that for any fixed relatively prime positive integers $a,b$ and $c$ all greater than 1 there is at most one solution to the equation $a^x+b^y=c^z$ in positive…

Consider the recursive relation generating a new positive integer $n_{\ell +1}$ from the positive integer $n_{\ell }$ according to the following simple rules: if the integer $n_{\ell }$ is odd, $n_{\ell +1}=3n_{\ell }+1$; if the integer…

In one of their seminal articles on allowable sequences, Goodman and Pollack gave combinatorial generalizations for three problems in discrete geometry, one of which being the Dirac conjecture. According to this conjecture, any set of $n$…

Kronecker sequences $(k \alpha \mod 1)_{k=1}^{\infty}$ for some irrational $\alpha > 0$ have played an important role in many areas of mathematics. It is possible to associate to each finite segment $(k \alpha \mod 1)_{k=1}^{n}$ a…

For any pattern $\alpha$ of length at most two, we enumerate equivalence classes of \L{}ukasiewicz paths of length $n\geq 0$ where two paths are equivalent whenever the occurrence positions of $\alpha$ are identical on these paths. As a…

In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$,…

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the "not later than" relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally…

We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…