Results 61 to 70 of about 3,744 (159)
An Entailment Relation for Reasoning on the Web [PDF]
, 2003 Reasoning on the Web is receiving an increasing attention because of emerging fields such as Web adaption and Semantic Web. Indeed, the advanced functionalities striven for in these fields call for reasoning capabilities.
B. Heumesser +6 more
core +1 more source
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
Paraconsistency in hybrid logic [PDF]
Journal of Logic and Computation, 2016 As in standard knowledge bases, hybrid knowledge bases (i.e. sets of information specified by hybrid formulas) may contain inconsistencies arising from different sources, namely from the many mechanisms used to collect relevant information. Being a fact, rather than a queer anomaly, inconsistency also needs to be addressed in the context of hybrid ...
Diana Costa, Manuel A. Martins
openaire +3 more sources
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
Combined Paraconsistent Logics and their (Co)Exponentials
RUDN Journal of Philosophy, 2011 Combined logics of sentences and events consist of two parts: the external logic depending on epistemological assumptions and the internal logic depending on ontological ones. They were introduced by V.A. Smirnov following some G. Frege's and N. Vasiliev'
Vladimir L Vasyukov
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
A recovery operator for non-transitive approaches [PDF]
, 2018 In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes.
Barrio, Eduardo Alejandro +2 more
core +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
Lógicas normativas, moral y derecho
Crítica, 2018 The relationships between moral and legal codes, that is, between specific normative sets, is a traditional problem of ethics, politics and law philosophy. Deontic logics have provided some instruments for a deeper analysis of those relations.
Leila Z. Puga +2 more
doaj +1 more source
Inferential Interpretations of Many-Valued Logics
LogicsNon-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj +1 more source