Results 101 to 110 of about 5,334 (208)
, 2003 Argumentation has proved a useful tool in defining formal semantics for assumption-based reasoning by viewing a proof as a process in which proponents and opponents attack each others arguments by undercuts (attack to an argument's premise) and rebuts ...
Michael Schroeder +3 more
core +2 more sources
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
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
Human verifications: Computable with truth values outside logic. [PDF]
Proc Natl Acad Sci U S A, 2023 Johnson-Laird PN +2 more
europepmc +1 more source