Simulation of the Lattice of Paraconsistent Logic Annotated with Two-Value Annotation LPA2v applied in VB.net Rodrigo Silvério da Silveira, Leonardo do Espirito Santo, João Inácio da Silva Filho, Cláudio Luís Magalhaes Fernandes, Marcelo dos Santos

Abstract

The study of Paraconsistent Logic has aroused great interest among specialists in the area of ​​industrial automation and in this case, research into applications of this logic has shown itself to be a very promising field. This work presents a way of applying the Para-Analyzer algorithm of the Annotated Paraconsistent Logic with Two-Value Annotation (LPA2v) configured to act in a Supervisory System. Based on this algorithm, a simulation was made on the Supervisory screen to control the LPA2v grid. The results of this study demonstrated that various controls applied with LPA2v can be simulated and tested with the resources of a supervisory software before a real application.