A Three-Valued Fregean Quantification Logic
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-018-9469-y
Abstract: Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is… read more here.
Keywords: quantification logic; fregean quantification; three valued; valued fregean ... See more keywords
Expressivity issues in SPARQL: monotonicity and two-versus three-valued semantics
Sign Up to like & getrecommendations! Published in 2018 at "Science China Information Sciences"
DOI: 10.1007/s11432-017-9344-5
Abstract: Dear editor, In 2008, the SPARQL query language was the official world wide web consortium (W3C) recommendation for a resource description framework (RDF) query language [1], which is a database query language that can retrieve… read more here.
Keywords: expressivity; three valued; valued semantics; two valued ... See more keywords
Low energy consumption three-valued memory device inspired by solid-state batteries.
Sign Up to like & getrecommendations! Published in 2019 at "ACS applied materials & interfaces"
DOI: 10.1021/acsami.9b15366
Abstract: We reported a three-valued nonvolatile memory device capable of low energy consumption operations based on the switching of open-circuit voltages. This device consists of a stack of Li, Li3PO4 solid electrolyte, and Ni electrode films.… read more here.
Keywords: state; three valued; memory device; low energy ... See more keywords
More Functions With Three-Valued Walsh Transform From Linear Combinations
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Communications Letters"
DOI: 10.1109/lcomm.2019.2894407
Abstract: Recently, we obtained three kinds of monomial functions, whose Walsh transforms have only three values. Based on the work, we present more such functions by considering linear combinations of some monomial functions. As applications, we… read more here.
Keywords: linear combinations; valued walsh; three valued; functions three ... See more keywords