Results 81 to 90 of about 105 (101)
Some of the next articles are maybe not open access.
Negation and Paraconsistent Logics
Logica Universalis, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dutta, Soma, Chakraborty, Mihir K.
openaire +1 more source
A Paraconsistent Conditional Logic
Journal of Philosophical Logic, 2019zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ma, Minghui, Wong, Chun-Ting
openaire +2 more sources
Introduction: Paraconsistent logics
Studia Logica, 1984This 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
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
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
2012The 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, 2010In 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, 2015zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Foundations of Paraconsistent Resolution
Fundamenta Informaticae, 2006An extended first-order predicate sequent calculus PLK with two kinds of negation is introduced as a basis of a new resolution calculus PRC (paraconsistent resolution calculus) for handling the property of paraconsistency. Herbrand theorem, completeness theorem (with respect to a classical-like semantics) and cut-elimination theorem are proved for PLK.
openaire +2 more sources
2016
In this chapter, we briefly review paraconsistent logics which are closely related to the topics in this book. We give an exposition of their history and formal aspects. We also address the importance of applications of paraconsistent logics to engineering.
Seiki Akama, Newton C. A. da Costa
openaire +1 more source
In this chapter, we briefly review paraconsistent logics which are closely related to the topics in this book. We give an exposition of their history and formal aspects. We also address the importance of applications of paraconsistent logics to engineering.
Seiki Akama, Newton C. A. da Costa
openaire +1 more source