Buscar
Mostrando ítems 11-20 de 6953
Paraconsistent annotated logic in viability analysis: an approach to product launching
(Amer Inst Physics, 2004-01-01)
In this paper we present an application of the Para-analyzer, a logical analyzer based on the Paraconsistent Annotated Logic Ptau, introduced by Da Silva Filho and Abe in the decision-making systems. An example is analyzed ...
Paraconsistent artificial neural networks: An introduction
(Springer, 2004-01-01)
In this work we sketch a new theory of artificial neural network, based on a paraconsistent annotated logic Etau. Such theory, called Paraconsistent Artificial Neural Network - PANN - is built from the algorithm Para-analyzer ...
Enzymatic Logic Gates with Noise-Reducing Sigmoid Response
(Old City Publishing Inc, 2014)
Remarks on paraconsistent decision making theory
(Int Inst Informatics & Systemics, 2003-01-01)
In this expository work we show how the para-analyzer can be useful to a variety of applications involving decision making when facing mainly with uncertainty, inconsistent or paracomplete information. The Para-analyzer ...
On the formal semantics of IF-like logics
(Elsevier Inc, 2010-08)
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) ...
The modal logic of copy and remove
(Academic Press Inc Elsevier Science, 2017-08)
We propose a logic with the dynamic modal operators copy and remove. The copy operator replicates a given model, and the remove operator removes paths in a given model. We show that the product update by an action model ...
Logical ThinkingChapter 1. Basic foundations of computational and logical thinking
(Editorial Digital del Tecnológico de Monterrey, 2017)
Advice on the Logic of ArgumentRecomendación acerca de la Lógica del Argumento
(Universidad de Valparaíso, 2013)