Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
Javascript must be enabled to continue!

Paraconsistent Orbits of Logics

View through CrossRef
Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets . Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract logics. To conclude, the conceptual notion paraconsistent orbit of a logic is proposed.
Title: Paraconsistent Orbits of Logics
Description:
Some strategies to turn any logic into a paraconsistent system are examined.
In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets .
Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system.
We also examine how this transformation can be performed using multideductive abstract logics.
To conclude, the conceptual notion paraconsistent orbit of a logic is proposed.

Related Results

Paraconsistent-Lib: An Intuitive PAL2v Algorithm Python Library
Paraconsistent-Lib: An Intuitive PAL2v Algorithm Python Library
This paper introduces Paraconsistent-Lib, an open-source, easy-to-use Python library for building PAL2v algorithms in reasoning and decision-making systems. Paraconsistent-Lib is d...
Towards the development of paraconsistent epistemology
Towards the development of paraconsistent epistemology
Modal extensions of paraconsistent logics have been proposed, resulting in systems termed cathodic. Independently, the three-valued paraconsistent logic LFI1 has been investigated ...
Numerical Modeling of the Special Features in the Dynamics of Near-Moon Objects
Numerical Modeling of the Special Features in the Dynamics of Near-Moon Objects
AbstractThis report presents results of investigations into the special features of the orbital evolution of artificial Moon satellites (AMS) by numerical modeling. The motion of 5...
Synchronization transition with coexistence of attractors in coupled discontinuous system
Synchronization transition with coexistence of attractors in coupled discontinuous system
The studies of extended dynamics systems are relevant to the understanding of spatiotemporal patterns observed in diverse fields. One of the well-established models for such comple...
Dynamics in the Vicinity of the Stable Halo Orbits
Dynamics in the Vicinity of the Stable Halo Orbits
AbstractThis work presents a study of the dynamics in the vicinity of the stable L2 halo orbits in the Earth-Moon system of the circular restricted three-body problem. These soluti...
Overinterpreting Logics
Overinterpreting Logics
Paraconsistent logics, minimally, are not explosive; that is, on these logics, not everything follows from a contradiction of the form ‘A and not-A’. Dialetheists, who argue that s...
Discrete Periodic St\"{o}rmer Orbits
Discrete Periodic St\"{o}rmer Orbits
Abstract Motion of a test charged particle in a dipole magnetic field can be described as a Hamiltonian system with 2 degree of freedom (2 d.o.f.) due to axisymmetr...
Paraconsistent argumentation schemes
Paraconsistent argumentation schemes
Various types of everyday arguments are represented as argumentation schemes, originating from the Legal Argumentation literature. The recent achievements in this domain can be app...

Back to Top