Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(p∨q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourho...

Classical single-sorted algebraic signatures are defined as sets of operation symbols together with arities. In their many-sorted variant they also list sort symbols and use sort-sequences as operation types. An operation type not only indicates sorts of parameters, but also constitutes dependency between an operation and a set of sorts. In the paper we define algebraic signatures with dependen...

The aim of this paper is to study the n variable fragment of rst order logic from a modal perspective We de ne a modal formalism called cylindric mirror modal logic and show how it is a modal version of rst order logic with substitution In this approach we can de ne a semantics for the language which is closely related to algebraic logic as we nd Polyadic Equality Algebras as the modal or compl...

In this paper, we propose a new coder based on the algebraic CELP(ACELP) coding technique. Our goal is to improve the quality of the obtained synthetic speech by a modification of the excitation signal of the classical coder. Such modification is accomplished by the variation of both the positions of the excitation impulses, and their amplitudes. The proposed algorithm consists of dividing the ...

The aim of this paper is to study the n-variable fragment of rst order logic from a modal perspective. We deene a modal formalism called cylindric mirror modal logic, and show how it is a modal version of rst order logic with substitution. In this approach, we can deene a semantics for the language which is closely related to algebraic logic, as we nd Polyadic Equality Algebras as the modal or ...

In the present paper we study systematically several consequence relations on the usual language of propositional intuitionistic logic that can be defined semantically by using Kripke frames and the same defining truth conditions for the connectives as in intuitionistic logic but without imposing some of the conditions on the Kripke frames that are required in the intuitionistic case. The logic...

Commutative Gröbner Bases are a well established technique with many applications, including polynomial solving and constructive approaches to commutative algebra and algebraic geometry. Noncommutative Gröbner Bases are a focus of much recent research activity. For example, combining invariant theory and elimination theory, or elimination in moving frames of partial differential operators invar...

Generalized frames are an extension of frames in Hilbert  spaces and  Hilbert $C^*$-modules. In this paper, the concept ''Similar" for modular $g$-frames is introduced and all of operator duals (ordinary duals) of similar $g$-frames with respect to each other are characterized. Also, an operator dual of a given $g$-frame is studied where $g$-frame is constructed by a primary $g$-frame and an or...

Abstract. Certain facts about frames and generalized frames (g- frames) are extended for the g-frames for Hilbert C*-modules. It is shown that g-frames for Hilbert C*-modules share several useful properties with those for Hilbert spaces. The paper also character- izes the operators which preserve the class of g-frames for Hilbert C*-modules. Moreover, a necessary and suffcient condition is ob- ...