Results 61 to 70 of about 5,334 (208)
Um novo sistema de axiomas para a l´ogica paraconsistente J3
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
Nicolai Vasiliev’s Imaginary Logic and Semantic Foundations for the Logic of Assent
The Russian philosopher Nicolai Vasiliev is known as a forerunner of substantially non-classical logics, i.e., logics that differ from classical logic by dropping principles that are sound in classical logic.
Werner Stelzner
doaj +1 more source
Overview of the various methods used to assess walking ability in broiler chickens
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
Philosophical Interpretations Matter
In 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
Sobre a lógica deôntica não-clássica
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
Paraconsistency in hybrid logic [PDF]
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
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
On formal aspects of the epistemic approach to paraconsistency [PDF]
This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence.
Carnielli, Walter +2 more
core
Review of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Carnielli and Marcelo ...
Henrique Antunes, Vincenzo Ciccarelli
doaj +1 more source
The paper deals with the most controversial - in the modern scholarly discussion - episode within the Byzantine polemics on the Filioque, Nicephorus Blemmydes‘ acknowledgement of proceeding of the Spirit through the Son providing that the Son be ...
Lourié Basil
doaj +1 more source

