Topic
Paraconsistent logic
About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.
Papers published on a yearly basis
Papers
More filters
••
TL;DR: In this article, the Paraconsistent Partial Differential Equation (PPDE) has been used in analysis with Explicit solution of temperature distribution in one-dimensional way, and an analogy of application of PPDE with the law of heat conduction of Fourier is used.
Abstract: Paraconsistent mathematics, also called Inconsistent Mathematics, is considered as the study of common mathematical objects, such as sets, numbers and functions, where some contradictions are allowed. Within certain conditions, Paraconsistent logic (PL), which is a non-classical Logic, presents as main property tolerance contradiction in its fundamentals without that the conclusions are invalidated. The PL in its structural form, which uses two annotation values-PAL2v, can be used to substantiate a Differential Calculus with Paraconsistent derivative of first and second order. We introduce here the Paraconsistent Partial Differential Equation (PPDE) aligned with processes of numerical methods for an example application in analysis with Explicit solution of temperature distribution in one-dimensional way. To obtain the results was used an analogy of application of PPDE with the law of heat conduction of Fourier, considering the same mathematical procedures of finite differences.
3 citations
••
TL;DR: A non-classical logic course primarily indicated for graduate students in electrical engineering and energy engineering based on the vision that it is not enough for a student to indefinitely accumulate knowledge; it is necessary to explore all the occasions to update, deepen, and enrich that knowledge, adapting it to a complex world.
Abstract: This paper describes a non-classical logic course primarily indicated for graduate students in electrical engineering and energy engineering. The content of this course is based on the vision that ...
3 citations
••
TL;DR: This article presents a brief study of the Kripke-type semantics for some logics related with CG 3 ′ before constructing a KripK- type semantics for it.
3 citations
••
TL;DR: The system C of Pottinger (1974) has as primitive logical constants = (entailment), -9 (S4 strict implication), -, (relevant implication), D (intuitionist implication), and A (absurdity); it was pointed out that the addition of either 2-A A or 2B 2A collapses -* into material implication.
Abstract: The system C of Pottinger (1974) has as primitive logical constants = (entailment), -9 (S4 strict implication), -, (relevant implication), D (intuitionist implication), & (intuitionist conjunction), v (intuitionist disjunction), and A (absurdity). In Section 8 of Pottinger (1974) it was pointed out that the addition of either 2-A A or 2B 2A .A B2 to C collapses -* into material implication and that the addition of either 21A * A or
3 citations
••
01 Apr 2019TL;DR: It is shown that most of the paraconsistent logics which have been investigated in the literature have no finite characteristic matrices, and in the most important cases not even finite characteristic non-deterministic matrices (Nmatrices).
Abstract: We show that most of the paraconsistent logics which have been investigated in the literature have no finite characteristic matrices, and in the most important cases not even finite characteristic non-deterministic matrices (Nmatrices).
3 citations