Results 11 to 20 of about 801,927 (249)
A Sixth Mass Extinction? How Linguistic Uncertainty Shapes Our Understanding of the Biodiversity Crisis. [PDF]
Ecol EvolABSTRACT The term ‘sixth mass extinction’ has become synonymous with the current biodiversity crisis. However, despite a general agreement that current biodiversity declines are severe, no consensus has been reached on whether this constitutes a ‘mass extinction event’, and thus, whether our current situation is comparable to the catastrophic ...
Linke L, Clements CF.
europepmc +2 more sources
Novel Decision Modeling for Manufacturing Sustainability under Single-Valued Neutrosophic Hesitant Fuzzy Rough Aggregation Information. [PDF]
Comput Intell Neurosci, 2022 We developed a multicriteria decision‐making method based on the list of novel single‐valued neutrosophic hesitant fuzzy rough (SV‐NHFR) weighted averaging and geometric aggregation operators to address the uncertainty and achieve the sustainability of the manufacturing business.
Kamran M +4 more
europepmc +2 more sources
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account [PDF]
, 2021 One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Carnielli, Walter +2 more
core +2 more sources
Robotics, 2023 Paraconsistent Annotated Logic (PAL) is a type of non-classical logic based on concepts that allow, under certain conditions, for one to accept contradictions without invalidating conclusions.
João Inácio Da Silva Filho +13 more
doaj +1 more source
Ideal Paraconsistent Logics [PDF]
Studia Logica, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Avron, O. Arieli, A. Zamansky
openaire +2 more sources
Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion [PDF]
Logic Journal of the IGPL, 2022 In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-G\"{o}del modal logic $\KbiG$. We prove its completeness w.r.t.\ crisp Kripke models where formulas at each state are evaluated over the standard bi-G\"{o}del algebra on $[0,1 ...
M. Bílková +2 more
semanticscholar +1 more source
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
Bulletin of the Section of Logic, 2022 Moral conflicts are the situations which emerge as a response to deal with conflicting obligations or duties. An interesting case arises when an agent thinks that two obligations A and B are equally important, but yet fails to choose one obligation over ...
Meha Mishra, A.V. Ravishankar Sarma
doaj +1 more source
A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics
Bulletin of the Section of Logic, 2021 In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect to the functional embeddinig one
Natalya Tomova
doaj +1 more source
Change of logic, without change of meaning
Theoria, Volume 89, Issue 4, Page 414-431, August 2023., 2023 Abstract Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine.
Hitoshi Omori, Jonas R. B. Arenhart
wiley +1 more source
Rotary Inverted Pendulum Identification for Control by Paraconsistent Neural Network
IEEE Access, 2021 Artificial neural networks (ANNs) have been used over the last few decades to perform tasks by learning with comparisons. Fitting input-output models, system identification, control, and pattern recognition are some fields for ANN applications.
Arnaldo de Carvalho +4 more
doaj +1 more source