scispace - formally typeset
Search or ask a question
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
More filters
Proceedings ArticleDOI
01 May 2014
TL;DR: In this article, a relationship of solutions by applying Paraconsistent logic applied (LPA) in establishment of arches surrounding pressure of underground excavations in massive fractured, considering the hypothesis that such independent dimensions arise with arches of span between pillars or support structures and structural conditions are primarily dependent of the Massif, the form of the excavations and the angle of internal friction of the material.
Abstract: This work intends to establish a relationship of solutions by applying Paraconsistent Logic Applied (LPA) in establishment of arches surrounding pressure of underground excavations in massive fractured, considering the hypothesis that such independent dimensions arise with arches of span between pillars or support structures and structural conditions are primarily dependent of the Massif, in the State of active strains , the form of the excavations and the angle of internal friction of the material. The considerations to be developed do not consider the effects of plate tectonics that expresses so catastrophic as earthquakes or extremely high voltage fields, in that it would not be feasible for reasons of safety or economy the lavra of ore or mineral raw materials. Emphasizes the need of scientific-technical research applying concepts of LPA for the definition of relationships that allow knowledge of go set between support points of pressure arc and concludes by discussing how developments can occur in view of the dynamic aspect of mining excavations.
Journal ArticleDOI
TL;DR: In this article, the authors discuss which modal principles should hold for a truth operator answering to the truth theory of internal realism and show that the logic of truth in internal realism is isomorphic to the modal system S4.
Abstract: The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.
Book ChapterDOI
TL;DR: In this article , an extended version of evidential annotated logics, T4E, was proposed by adopting rough set theory for a semantic interpretation of truth value and constructing another deductive system using tableau calculus adding some operations MAX and MIN.
Abstract: The paraconsistent annotated evidential logic E $$_{\tau }$$ has been studied based on one of the applications of Paraconsistent Annotated Logic. We propose an enhanced logical system T4E $$_{\tau }$$ , an extended version of evidential annotated logics E $$_{\tau }$$ , by adopting rough set theory for a semantic interpretation of truth-value and constructing another deductive system using tableau calculus adding some operations MAX and MIN. We also discuss the possibilities of applications of T4E $$_{\tau }$$ to incorporate general decision logic.
Journal ArticleDOI
TL;DR: In this article , an atmospheric condition index using Artificial Intelligence tools is proposed, where the atmospheric condition can be obtained from parameters that the scientific communities adopt for the different pollutants in the atmosphere.
Abstract: The objective of this article is to propose the creation of an atmospheric condition index using Artificial Intelligence tools. The atmospheric condition can be obtained from parameters that the scientific communities – environment, health, labor safety – adopt for the different pollutants in the atmosphere. Parameters were obtained from the scientific literature and specialists, who were consulted about the objective data to allow an analysis through an expert system. As the data are from highly imprecise sources, classic-logic (binary) systems do not fit. We opted to use the Evidential Annotated Paraconsistent Logic. This non-classical logic naturally accommodates imprecisions, contradictions, and paracompleteness without the danger of trivialization. Thus, the Evidential Annotated Paraconsistent Logic can be ideally adopted as a valuable tool for controlling atmospheric conditions, especially in large metropolises.
Book ChapterDOI
05 Sep 2021
TL;DR: In this paper, a prototype of an autonomous terrestrial mobile robot that must go through corridors in specific layouts in logistics centers focusing on the aid of control tasks and management information for decision making is presented.
Abstract: Due to the momentum of Industry 4.0 in various product and service sectors, academic and business investments in the development of new technologies in the logistics sector also stand out. Based on these trends, bibliographical research was carried out of articles dedicated to robotics with application in the logistics sector. Based on the bibliographic survey results, this work proposes a prototype of an autonomous terrestrial mobile robot that must go through corridors in specific layouts in logistics centres focusing on the aid of control tasks and management information for decision making. The main contribution is testing a para-analyzer algorithm based on non-classical logic such as Paraconsistent Annotated Logic Eτ, as the decision-making tool to avoid obstacles.

Network Information
Related Topics (5)
Axiom
11K papers, 257.9K citations
80% related
Logic programming
11.1K papers, 274.2K citations
79% related
Metaphysics
14.8K papers, 235.4K citations
77% related
Philosophy of science
15.4K papers, 361.5K citations
77% related
Class (set theory)
17.4K papers, 242K citations
76% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202313
202255
202131
202036
201935
201847