Results 11 to 20 of about 523,468 (309)
The axioms for implication in orthologic [PDF]
, 2008 summary:We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C.
Chajda, Ivan
core +7 more sources
Vaccines, 2023 The phenomenon of vaccine hesitancy is a growing threat to public health with far-reaching implications. The widening gap between the vaccinated and the proportion of vaccinated people needed for herd immunity raises two critical research questions that ...
Syden Mishi +3 more
doaj +1 more source
Reduced Implicate/Implicant Tries [PDF]
, 2008 The reduced implicate trie, introduced in [10], is a data structure that may be used as a target language for knowledge compilation. It has the property that a query can be processed in time linear in the size of the query, regardless of the size of the compiled knowledge base. This data structure can be used with propositional databases, where a query
Neil V. Murray, Erik Rosenthal
openaire +1 more source
Guaranteeing no interaction between functional dependencies and tree-like inclusion dependencies [PDF]
, 2001 Functional dependencies (FDs) and inclusion dependencies (INDs) are the most fundamental integrity constraints that arise in practice in relational databases.
Mark Levene +3 more
core +1 more source
Archivio Antropologico Mediterraneo, 2018 Starting from the situational analysis of an event that took place in the public housing neighbourhood of San Siro (Milan) – a social activity organized by a neighbourhood committee that turned into an agora, an assembly, thanks to the participation of ...
Paolo Grassi
doaj +1 more source
Sequent Calculi for Orthologic with Strict Implication
Bulletin of the Section of Logic, 2022 In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O ...
Tomoaki Kawano
doaj +1 more source
Third Zadeh’s Intuitionistic Fuzzy Implication [PDF]
, 2021 George Klir and Bo Yuan named after Lotfi Zadeh the implication p→q=max(1−p,min(p,q)) (also Early Zadeh implication). In a series of papers, the author introduced two intuitionistic fuzzy forms of Zadeh’s implication and studied their basic properties ...
Krassimir Atanassov
core +1 more source
Научный диалог, 2019 The article is devoted to the analysis of the elements of meaning with the semantic sign of ‘man’ (anthropocentric elements) on the material of the Russian and French languages.
O. A. Gulyga
doaj +1 more source
The Role of m6A RNA Methylation in Cancer: Implication for Nature Products Anti-Cancer Research
Frontiers in Pharmacology, 2022 N6-methyladenosine (m6A) RNA methylation is identified as the most common, abundant and reversible RNA epigenetic modification in messenger RNA (mRNA) and non-coding RNA, especially within eukaryotic messenger RNAs (mRNAs), which post-transcriptionally ...
Na Song +15 more
doaj +1 more source
, 2006 We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C.
Chajda, Ivan
core +1 more source