http://popups.lib.uliege.be/1373-5411/index.php?id=4389 Publications of Auteurs João Inácio da Silva Filho fr 0 http://popups.lib.uliege.be/1373-5411/index.php?id=2002 This work is a sequel to some previous results obtained by us concerning implementation of paraconsistent electronic circuits. We investigate a projected circuit called Paraconsistent Analyzer Module (PAM) based on a kind of paraconsistent annotated logics. It was implemented by using CMOS transistors and its major function is to detect inconsistent (contradictory) signals and give a non-trivial treatment to these situations, provided by a multivalued and paraconsistent logic that underlies these studies. Fri, 19 Jul 2024 14:30:52 +0200 Thu, 10 Oct 2024 10:16:40 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=2002 http://popups.lib.uliege.be/1373-5411/index.php?id=2000 In this work we present digital circuits (logical gates COMPLEMENT, AND, OR) inspired in a class of paraconsistent annotated logics Pτ. These circuits allow "inconsistent" signals in a nontrivial manner in their structure. Such circuits consist of six states; due the existence of literal operators to each of them, the underlying logic is functionally complete; it is a many-valued and paraconsistent (at least "semantically") logic. Fri, 19 Jul 2024 14:21:39 +0200 Thu, 10 Oct 2024 10:11:28 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=2000 http://popups.lib.uliege.be/1373-5411/index.php?id=1836 In this paper we present a simulator based on the paraconsistent annotated logic Eτ (Para-Sim) that allows to deal with inconsistent or paracomplete signals in a non-trivial manner, besides dealing with fuzzy information. The simulator Para-Sim allows parameters to be modified by a paraconsistent analysis and conditions in order to obtain the optimization of the qualitative notions of real size, as distance between the robot and the obstacles, and also navigation speed. Wed, 17 Jul 2024 11:11:06 +0200 Thu, 10 Oct 2024 10:15:40 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=1836 http://popups.lib.uliege.be/1373-5411/index.php?id=1621 In this paper we present a class of paraconsistent deontic systems D*τ which may constitute, for instance, a framework for the formal study of normative theory in law, in which it is important to manipulate directly the concept of contradiction. Mon, 15 Jul 2024 16:00:27 +0200 Thu, 10 Oct 2024 10:14:56 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=1621