Results 11 to 20 of about 110,260 (279)
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
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
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
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
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
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
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
DESIGN AND SYNTHESIS OF TERNARY LOGIC ELEMENTS
Компютерні системи та інформаційні технології, 2022 The aim of this paper is creating some ternary elements. The threshold element of ternary logic on bipolar transistors and elements of ternary systems based on it are considered. The main disadvantages of this approach are identified. The multi-threshold
LARYSA MARTYNOVYCH +3 more
doaj +1 more source
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
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