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: This work discusses the functional transformations in paraconsistent and classical modal cases: how to transform one classical orParaconsistent topological model to another, how totransform one transformation to another in a validity preserving way and suggests a measure to keep track of such change.
Abstract: Topological semantics for modal logics has recently gained new momentum in many different branches of logic. In this paper, we will consider the topological semantics of both classical and paraconsistent modal logics.
This work is a new step in the research program that focuses on paraconsistent systems from geometric and topological point of view. Here, we discuss the functional transformations in paraconsistent and classical modal cases: how to transform one classical or paraconsistent topological model to another, how to transform one transformation to another in a validity preserving way. Furthermore, we also suggest a measure to keep track of such change.
1 citations
••
1 citations
••
TL;DR: In this paper, the authors distinguish the just false problem from another problem, with which it is often conflated, which they call the "exclusion problem" and argue that shriek rules do not help glut theorists with either problem.
Abstract: In a recent paper (2013), Jc Beall has employed what he calls ‘shriek rules’ in a putative solution to the long-standing ‘just false’ problem for glut theory. The purpose of this paper is twofold: firstly, I distinguish the ‘just false’ problem from another problem, with which it is often conflated, which I will call the ‘exclusion problem’. Secondly, I argue that shriek rules do not help glut theorists with either problem.
1 citations
••
03 Sep 2016
TL;DR: Results show that the effectiveness of Production Planning Control in the Cluster is viable under the Prism of Paraconsistent Logic.
Abstract: This research aimed at understanding relevant aspects of production planning and control of a baby wear cluster in Terra Roxa, Parana State, Brazil, employing the Paraconsistent Logic as an analysis. In the methodology, a descriptive approach with quantitative and qualitative procedures has been opted for, making use of data collection tools such as survey, which is appropriate for this kind of approach. Results show that the effectiveness of Production Planning Control in the Cluster is viable under the Prism of Paraconsistent Logic.
1 citations