Results 131 to 140 of about 247 (182)
Principles for Object-Linguistic Consequence: from Logical to Irreflexive. [PDF]
Nicolai C, Rossi L.
europepmc +1 more source
A review of sound-based pig monitoring for enhanced precision production. [PDF]
Reza MN +7 more
europepmc +1 more source
Thermal imaging and computer vision technologies for the enhancement of pig husbandry: a review. [PDF]
Reza MN +8 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Journal of Philosophical Logic, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David Ripley, Ripley David
exaly +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David Ripley, Ripley David
exaly +3 more sources
Paraconsistent Orbits of Logics
Logica Universalis, 2021The 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 \)
Edelcio Gonçalves de Souza +2 more
openaire +3 more sources
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.
Newton C. A. da Costa +2 more
openaire +1 more source
A Paraconsistent Conditional Logic
Journal of Philosophical Logic, 2019zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Minghui Ma, Chun-Ting Wong
openaire +2 more sources
Negation and Paraconsistent Logics
Logica Universalis, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Soma Dutta, Mihir K. Chakraborty
openaire +1 more source

