By adopting natural generalizations of relational frame and relational model we showed in [2] that the deontic law D, Dp -» Op, is not universally first-order definable. In effect, we showed there that for n > 2, there is no n-adic first-order sentence p such that for every n-ary frame F,F ^D iff F ^(3 in the first-order sense. The notion of n-ary frame and model employed there may be summarize...

We determine the dimension of certain q-ary algebraic-geometric trace codes, extending previous results of Van Der Vlugt for p-ary algebraicgeometric trace codes.

The characterization and construction of bent functions are challenging problems. The paper generalizes the constructions of Boolean bent functions by Mesnager [33], Xu et al. [40] and p-ary bent functions by Xu et al. [41] to the construction of p-ary weakly regular bent functions and presents new infinite families of p-ary weakly regular bent functions from some known weakly regular bent func...

One of key issues for α-n(t) ary resolution automated reasoning based on lattice-valued logic with truthvalue in a lattice implication algebra is to investigate the α-n(t) ary resolution of some generalized literals. In this article, the determination of α-resolution of any 3-ary generalized literals which include the implication operators not more than 2 in LP(X). It not only lay the foundatio...