Results 191 to 200 of about 801,927 (249)
Some of the next articles are maybe not open access.
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
Journal of Philosophical Logic, 1995
\textit{G. Priest} [``The logic of paradox'', J. Philos. Logic 8, 219-241 (1979; Zbl 0402.03012)] presents a paraconsistent logic, that is, one which does not collapse into all statements being provable but in which nevertheless ``\(A\vee \neg A\)'' is logically true and ``\(A \wedge\neg A\)'' is logically false. But, argues Slater in the present paper,
openaire +2 more sources
\textit{G. Priest} [``The logic of paradox'', J. Philos. Logic 8, 219-241 (1979; Zbl 0402.03012)] presents a paraconsistent logic, that is, one which does not collapse into all statements being provable but in which nevertheless ``\(A\vee \neg A\)'' is logically true and ``\(A \wedge\neg A\)'' is logically false. But, argues Slater in the present paper,
openaire +2 more sources
2002
A logic is paraconsistent if it does not validate the principle that from a pair of contradictory sentences, A and ∼A, everything follows, as most orthodox logics do. If a theory has a paraconsistent underlying logic, it may be inconsistent without being trivial (that is, entailing everything).
openaire +2 more sources
A logic is paraconsistent if it does not validate the principle that from a pair of contradictory sentences, A and ∼A, everything follows, as most orthodox logics do. If a theory has a paraconsistent underlying logic, it may be inconsistent without being trivial (that is, entailing everything).
openaire +2 more sources
Extensions of paraconsistent weak Kleene logic
Logic Journal of the IGPL, 2020Paraconsistent weak Kleene ($\textrm{PWK}$) logic is the $3$-valued logic based on the weak Kleene matrices and with two designated values. In this paper, we investigate the poset of prevarieties of generalized involutive bisemilattices, focussing in ...
F. Paoli, M. P. Baldi
semanticscholar +1 more source
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
Modal extension of ideal paraconsistent four-valued logic and its subsystem
Annals of Pure and Applied Logic, 2020This study aims to introduce a modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC as a Gentzen-type sequent calculus and prove the Kripke-completeness and cut-elimination theorems for M4CC.
N. Kamide, Yoni Zohar
semanticscholar +1 more source
Bisimilarity for paraconsistent description logics
Journal of Intelligent & Fuzzy Systems, 2016We introduce comparisons w.r.t. information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. This notion is useful for concept learning in description logics when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons w.r.t.
Nguyen, Linh Anh +3 more
openaire +2 more sources
Hybrid PI controller constructed with paraconsistent annotated logic
Control Engineering Practice, 2019In this work a new type of hybrid PI controller is presented using the Paraconsistent Logic (PL) as the basis for the mathematical and logical treatment of the signals corresponding to the control variables.
M. Coelho +6 more
semanticscholar +1 more source
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
2002
We propose a framework which extends Antitonic Logic Programs [2] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Based on Fitting's ideas, this framework allows a precise definition of important operators found in logic programming such as explicit negation and the default negation. In particular,
João Alcântara +2 more
openaire +1 more source
We propose a framework which extends Antitonic Logic Programs [2] to an arbitrary complete bilattice of truth-values, where belief and doubt are explicitly represented. Based on Fitting's ideas, this framework allows a precise definition of important operators found in logic programming such as explicit negation and the default negation. In particular,
João Alcântara +2 more
openaire +1 more source