Results 161 to 170 of about 5,275 (212)

Thermal imaging and computer vision technologies for the enhancement of pig husbandry: a review. [PDF]

J Anim Sci Technol
Reza MN, Ali MR, Samsuzzaman, Kabir MSN, Karim MR, Ahmed S, Kyoung H, Kim G, Chung SO.   +8 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Paraconsistent Orbits of Logics

Logica Universalis, 2021
The paper examines \textit{paraconsistentization by consistent sets} of logics viewed as consequence relations. In this sense, given a logic \( L=(X,\vdash _{L})\), the paraconsistentization of \(L\) by consistent sets is, \textit{grosso modo}, the result of restricting \(\vdash _{L}\) to pairs \( \left\langle \Gamma ,A\right\rangle \) where \(\Gamma \)
Souza, Edelcio G. de, Leite, Alexandre Fernandes Batista Costa, Dias, Diogo H. B.   +2 more
openaire   +3 more sources

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 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

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

Paraconsistent Logic

Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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

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

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