In this paper we extend the notion of  degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and  introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

In this paper, let $L$ be a completeresiduated lattice, and let {bf Set} denote the category of setsand mappings, $LF$-{bf Pos} denote the category of $LF$-posets and$LF$-monotone mappings, and $LF$-{bf CSLat}$(sqcup)$, $LF$-{bfCSLat}$(sqcap)$ denote the category of $LF$-completelattices and $LF$-join-preserving mappings and the category of$LF$-complete lattices and $LF$-meet-preserving mapping...

Here a posteriori error estimate for the numerical solution of nonlinear Voltena- Hammerstein equations is given. We present an error upper bound for nonlinear Voltena-Hammastein integral equations, in which the form of nonlinearity is algebraic and develop a posteriori error estimate for the recently proposed method of Brunner for these problems (the implicitly linear collocation method)...

This paper belongs to our series of works on algebraic geometry over arbitrary structures. In this one, there will be investigated seven equivalences (namely: geometric, universal quasi-equational, universal, elementary, and combinations thereof) in specific classes structures (equationally Noetherian, qω-compact, uω-compact, equational domains, co-domains, etc.). The main questions are the fol...

For regular strangeness-free linear differential-algebraic equations (DAEs) the definition of an adjoint DAE is straightforward. This definition can be formally extended to general linear DAEs. In this paper, we analyze the properties of the formal adjoints and their implications in solving linear-quadratic optimal control problems with DAE constraints.

Sorted term-position algebras are an extension of term algebras. In addition to sorted terms with constructor and selector functions, they provide term positions as algebra elements and functions that relate term positions. This paper describes possible applications of termposition algebras and investigates their formal specification in existing specification frameworks. In particular, it prese...

This paper presents the use of an iteration method to solve the identifiability problem for a class of discretized linear partial differential algebraic equations. This technique consists in replacing the partial derivatives in the PDAE by differences and analyzing the difference algebraic equations obtained. For that, the theory of discrete singular systems, which involves Drazin inverse matri...