Results 111 to 120 of about 801,927 (249)
El Significado de la Negación Paraconsistente
Principia: An International Journal of Epistemology, 2009 This work agrees and supports the I. Hacking’s thesis regarding the meaningof the logical constants accordingly with Gentzen’s Introduction and Elimination Rules of Sequent Calculus, corresponding with the abstract conception of the notion of logical ...
Cecilia Duran, Gladys Palau
doaj
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
On Partial and Paraconsistent Logics
Notre Dame Journal of Formal Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Applying Paraconsistent Annotated Logic Eτ for Optimizing Broiler Housing Conditions
AgriEngineeringBroilers are particularly sensitive to heat stress, which can impair growth, and lower conversion efficiency and survival rates. Under a climate change scenario, maintaining optimal thermal conditions within broiler houses becomes more complex and energy-
Angel Antonio Gonzalez Martinez +3 more
doaj +1 more source
An Easy Road to Multi-contra-classicality. [PDF]
Erkenntnis, 2021 Estrada-González L.
europepmc +1 more source
Argumentation-Based Paraconsistent Logics [PDF]
, 2014 Argumentation is a promising approach for reasoning with inconsistent information. Starting from a knowledge base encoded in a logical language, an argumentation system defines arguments and attacks between them using the consequence operator associated with the language. Finally, it uses a semantics for evaluating the arguments.
openaire +1 more source
Paraconsistent Labeling Semantics for Abstract Argumentation
MathematicsDung’s abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it ...
Yuanlei Lin
doaj +1 more source
Distance-based paraconsistent logics
International Journal of Approximate Reasoning, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Improving the efficiency of using multivalued logic tools. [PDF]
Sci Rep, 2023 Suleimenov IE +3 more
europepmc +1 more source
Some Remarks about Going Towards Inconsistencies
Principia: An International Journal of EpistemologyInconsistencies! What do they mean? Can we support them? With this paper, we hope to contribute to the claim that we can tolerate inconsistencies in certain situations even without considering any logic that may enable us to do that, say some ...
Décio Krause
doaj +1 more source