The rivalry between classical logic and its non-classical contenders occupies the centre stage in contemporary philosophical logic. The central issue is to know how to choose a logical system (or theory thereof) among the ...

In this paper we present a logic controller based on ideas of Fuzzy logic and Paraconsistent Annotated Logic. The combination of both logics brings a new approach to fuzzy, inconsistent and paracomplete concepts. The ...

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the ...

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in ...

Biochemical computing is an emerging field of unconventional computing that attempts to process information with biomolecules and biological objects using digital logic. In this work we survey filtering in general, in ...

We study S5-modal (monadic) expansions of extensions of Hájek's basic logic . Hájek proposed Hilbert-style systems axiomatizing these logics and we prove that completeness theorems for these logics follow from algebraic ...

This paper is a sequel to [5], [6]. We present the Curry monadic system N-1* which has as extensions the Curry monadic algebras C-1* and P-1*. All those systems are extensions of the classical monadic algebras introduced ...

In this paper we discuss two applications of the logical controller Paracontrol. Such controller is based on Paraconsistent Annotated Logic and it is capable of manipulating imprecise, inconsistent and paracompete data.

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...