Results 11 to 20 of about 113,481 (327)
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
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
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
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
Generalized disjunction decomposition for evolvable hardware [PDF]
, 2006 Evolvable hardware (EHW) refers to self-reconfiguration hardware design, where the configuration is under the control of an evolutionary algorithm (EA).
Kalganova, T, Lambert, C, Stomeo, E
core +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
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
Thirteen new records of ferns from Brazil
Biodiversity Data Journal, 2015 Thirteen fern species are reported for the first time for Brazil. Among the new records, eight are from Acre state (Cyathea subincisa, Cyclodium trianae, Elaphoglossum stenophyllum, Hypoderris brauniana, Pleopeltis stolzei, Thelypteris arcana ...
Thais Almeida, Alexandre Salino
doaj +1 more source
Disjunction of LOTOS specifications [PDF]
, 1997 LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. The definition of, so called, implementation relations has made it possible also to use LOTOS as a specification technique for the ...
Boiten, E.A. +3 more
core +3 more sources