Results 141 to 150 of about 2,394 (173)
Some of the next articles are maybe not open access.

Introduction: Paraconsistent logics

Studia Logica, 1984
This article is the introduction to the special issue of Studia Logica, which is devoted to paraconsistent logic. It gives a brief discussion of the point and history of paraconsistent logic and surveys three different formal approaches to the subject.
Priest, Graham, Routley, Richard
openaire   +1 more source

Paraconsistent quantum logics

Foundations of Physics, 1989
Paraconsistent quantum logics are weak forms of quantum logic, where the noncontradiction and the excluded-middle laws are violated. These logics find interesting applications in the operational approach to quantum mechanics. In this paper, we present an axiomatization, a Kripke-style, and an algebraic semantical characterization for two forms of ...
DALLA CHIARA ML, GIUNTINI, ROBERTO
openaire   +1 more source

Paraconsistency, Paracompleteness, and Valuations

2012
The authors present a propositional calculus in the operators \(\to\), \(\wedge\), \(\vee\), \(\neg\) that is paraconsistent in the sense that it may serve as the underlying logic of a theory that contains some contradictions without implying all formulas. Roughly speaking, the \(\to\), \(\wedge\), \(\vee\) fragment is strong, and the negation operator
Loparić, Andréa   +1 more
openaire   +2 more sources

Paraconsistent logics and applications

4th International Workshop on Soft Computing Applications, 2010
In this expository paper we discuss some applications of paraconsistent annotated logics. They have the capability of manipulating concepts like fuzziness, inconsistency, and paracompleteness in a non-trivial manner. Such systems are new and they were discovered recently at the end of last century.
openaire   +1 more source

Liberating Paraconsistency from Contradiction

Logica Universalis, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Home - About - Disclaimer - Privacy