Results 181 to 190 of about 801,927 (249)

Aspects of Paraconsistent Logic

Logic Journal of IGPL, 1995
This 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., Béziau, Jean-Yves, Bueno, Otávio A. S.   +2 more
openaire   +1 more source

Paraconsistent logic used for estimating the gait score of broiler chickens

Biosystems Engineering, 2017
Visually estimating the gait score in a flock is not a precise task. The evaluation is done based on scores from 0 (sound bird) to 5 (lame bird). The extremes are easily identifiable; however, the intermediate scores are not evident.
I. A. Nääs, L. C. M. Lozano, Saman Abdanan Mehdizadeh, R. G. Garcia, J. Abe   +4 more
semanticscholar   +1 more source

Paraconsistent Computation Tree Logic

New Generation Computing, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kaneiwa, Ken, Kamide, Norihiro
openaire   +2 more sources

On recent applications of paraconsistent logic: an exploratory literature review

J. Appl. Non Class. Logics, 2019
This paper aims to empirically explore the state of practical applications of paraconsistent logics. To this end, we performed an exploratory literature review, analysing papers published between the years 2015 and 2018.
A. Zamansky
semanticscholar   +1 more source

Paraconsistent Logics and Translations

Synthese, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
D'Ottaviano, Itala M. Loffredo, de A. Feitosa, Hércules   +1 more
openaire   +2 more sources

Negation and Paraconsistent Logics

Logica Universalis, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dutta, Soma, Chakraborty, Mihir K.
openaire   +1 more source

Paraconsistent transition structures: compositional principles and a modal logic

Mathematical Structures in Computer Science
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other.
Juliana Cunha, Alexandre Madeira, L. S. Barbosa   +2 more
semanticscholar   +1 more source

A Paraconsistent Conditional Logic

Journal of Philosophical Logic, 2019
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ma, Minghui, Wong, Chun-Ting
openaire   +2 more sources

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant

Trans. Large Scale Data Knowl. Centered Syst., 2017
We present a formalization of a so-called paraconsistent logic that avoids the catastrophic explosiveness of inconsistency in classical logic. The paraconsistent logic has a countably infinite number of non-classical truth values.
J. Villadsen, Anders Schlichtkrull
semanticscholar   +1 more source

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