Results 21 to 30 of about 110,934 (299)
ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
The Bulletin of Symbolic Logic, 2017 AbstractCompleteness and other forms of Zorn’s Lemma are sometimes invoked for semantic proofs of conservation in relatively elementary mathematical contexts in which the corresponding syntactical conservation would suffice. We now show how a fairly general syntactical conservation theorem that covers plenty of the semantic approaches follows from an ...
RINALDI, DAVIDE +2 more
openaire +4 more sources
Rasiowa–Harrop disjunction property [PDF]
, 2016 We show that there is a purely proof-theoretic proof of the Rasiowa–Harrop disjunction property for the full intuitionistic propositional calculus (IPC), via natural deduction, in which commuting conversions are not needed. Such proof is based on a sound
Ferreira, Gilda
core +1 more source
Disjunctive normal networks [PDF]
Neurocomputing, 2016 Artificial neural networks are powerful pattern classifiers; however, they have been surpassed in accuracy by methods such as support vector machines and random forests that are also easier to use and faster to train. Backpropagation, which is used to train artificial neural networks, suffers from the herd effect problem which leads to long training ...
Mehdi Sajjadi +2 more
openaire +2 more sources
Mental Models for the Negation of Conjunctions and Disjunctions
Europe's Journal of Psychology, 2014 This study investigates why reasoning that involves negation is extremely difficult. We presented participants with reasoning problems containing sentences with negation of conjunctions and disjunctions in order to test predictions derived from the ...
Guillermo Macbeth +5 more
doaj +1 more source
Frontiers in Plant Science, 2021 Carex subgenus Psyllophorae is an engaging study group due to its early diversification compared to most Carex lineages, and its remarkable disjunct distribution in four continents corresponding to three independent sections: sect.
Carmen Benítez-Benítez +9 more
doaj +1 more source
ACM Transactions on Database Systems, 1997 We consider disjunctive Datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions may appear in the rule heads; advanced versions also allow for negation in the bodies which can be handled according to a semantics for negation in disjunctive ...
Eiter, T, Gottlob, G, Mannila, H
openaire +1 more source
Acta Botânica Brasílica, 2007 A disjunct distribution pattern between the extrazonal formations of the campos rupestres (rocky grasslands) in the Espinhaço mountain range and the restingas (coastal strand vegetation) in Brazil has been proposed repeatedly for several flowering-plant ...
Ruy José Válka Alves +2 more
doaj +1 more source
Three new species of Eupetersia Blüthgen 1928 (Hymenoptera, Halictidae) from the Oriental Region.
European Journal of Taxonomy, 2012 Three new species, Eupetersia (Nesoeupetersia) singaporensis sp. nov., collected in a mangrove swamp in Singapore, and Eupetersia (Nesoeupetersia) sabahensis sp.
Alain Pauly
doaj +1 more source
TOR: modular search with hookable disjunction [PDF]
, 2014 Horn Clause Programs have a natural exhaustive depth-first procedural semantics. However, for many programs this semantics is ineffective. In order to compute useful solutions, one needs the ability to modify the search method that explores the ...
Demoen, Bart +3 more
core +1 more source
Frontiers in Psychology, 2018 Accounts based on the pragmatic maxim of quantity make different predictions about the computation of scalar versus ignorance inferences. These different predictions are evaluated in two eye-tracking experiments using a visual world paradigm to assess ...
Likan Zhan
doaj +1 more source