Results 61 to 70 of about 247 (182)
Overview of the various methods used to assess walking ability in broiler chickens
Veterinary Record, Volume 195, Issue 4, 17–31 August 2024.Abstract Background Walking ability is a highly important animal‐based indicator of welfare in broilers that warrants monitoring across commercial production. Methods A review of the technical and scientific literature on existing methods for assessing walking ability in broilers was conducted, and the reliability, validity and feasibility of the ...
Kaitlin E. Wurtz, Anja B. Riber
wiley +1 more source
Um novo sistema de axiomas para a l´ogica paraconsistente J3
CQD Revista Eletrônica Paulista de Matemática, 2022 We investigate the paraconsistent logic J3. As original result we propose a new sistem of axioms for J3 and present results of soundness and completeness (adequacy) evolving the original three valued matrix semantic for J3.
H´ercules de Araujo Feitosa +2 more
doaj
Sobre a lógica deôntica não-clássica
Crítica, 2018 Our starting point, in this basically expository paper, is the study of a classical system of deontic propositional logic, classical in the sense that it constitutes an extension of the classical propositional calculus.
Leila Z. Puga, Newton C.A. da Costa
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2011 AbstractWe introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics.
openaire +1 more source
The sting of negativity: Irad Kimhi and Michael Della Rocca on the Parmenidean challenge
European Journal of Philosophy, Volume 32, Issue 2, Page 577-595, June 2024.Abstract Irad Kimhi considers the conundrum, first addressed by Parmenides, of how negative facts can be the case and be thought, to be the puzzle that philosophy has been working to solve since Plato and Aristotle and wants to do his part by criticizing Frege's dissociation of sense and force and developing a more Aristotelian account of judgment ...
Anton Friedrich Koch
wiley +1 more source
Philosophical Interpretations Matter
Principia: An International Journal of EpistemologyIn recent years, there has been an increasing debate about some philosophical aspects of paraconsistent logics. The focus of this controversy has been on whether the notion of philosophical interpretation of a logic is separable or independent from the ...
Eduardo Alejandro Barrio +2 more
doaj +1 more source
Noûs, Volume 58, Issue 2, Page 306-332, June 2024.Abstract Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal ...
Edward N. Zalta
wiley +1 more source
ManuscritoReview of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Carnielli and Marcelo ...
Henrique Antunes, Vincenzo Ciccarelli
doaj +1 more source
A classical-logic view on a paraconsistent logic
CoRR, 2020 This paper is concerned with the paraconsistent first-order logic LPQ$^{\supset,\mathsf{F}}$, Priest's LPQ enriched with an implication connective and a falsity constant. A sequent-style natural deduction proof system for this logic is presented and, for this proof system, both a model-theoretic justification and a logical justification by means of an ...
openaire +4 more sources
Paraconsistent Gödel Modal Logic
, 2022 AbstractWe introduce a paraconsistent modal logic$$\mathbf {K}\mathsf {G}^2$$KG2, based on Gödel logic with coimplication (bi-Gödel logic) expanded with a De Morgan negation$$\lnot $$¬. We use the logic to formalise reasoning with graded, incomplete and inconsistent information.
Marta Bílková +2 more
openaire +3 more sources