Results 161 to 170 of about 2,727 (208)
Some of the next articles are maybe not open access.
Studia Logica, 1984
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carnielli, Walter Alexandre +1 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Carnielli, Walter Alexandre +1 more
openaire +1 more source
Aspects of Paraconsistent Logic
Logic Journal of IGPL, 1995This paper discusses an extension \(C^+_1\) of da Costa's system \(C_1\) of paraconsistent logic. A Hilbert-style version and a sequent calculus version of the system are presented as well as a bivalent non-truth-functional semantics. It is shown that \(C^+_1\) is semantically decidable, but that the replacement theorem does not hold.
da Costa, Newton C. A. +2 more
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
Paraconsistent Computation Tree Logic
New Generation Computing, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kaneiwa, Ken, Kamide, Norihiro
openaire +2 more sources
Paraconsistent Logics and Translations
Synthese, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
D'Ottaviano, Itala M. Loffredo +1 more
openaire +2 more sources
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
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences
Logica Universalis, 2022María del Rosario Martínez-Ordaz
semanticscholar +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