Results 251 to 260 of about 174,060 (272)

L-TAUTOLOGY THEORY IN LATTICE-VALUED PROPOSITIONAL LOGIC

Computational Intelligence, 2010
XIAODONG PAN, KAIJUN XU, KEYUN QIN, YANG XU   +3 more
openaire   +1 more source

Organic electrochemical transistors

Nature Reviews Materials, 2018
Jonathan Rivnay, Sahika inal, Alberto Salleo   +2 more
exaly  

resolution method for a lattice-valued first-order logic

Engineering Applications of Artificial Intelligence, 2011
Xingxing He, Yang Xu, Jun Liu, Da Ruan
openaire   +1 more source

Vertically stacked multi-heterostructures of layered materials for logic transistors and complementary inverters

Nature Materials, 2012
Woo Jong Yu, Hailong Zhou, Yu Chen
exaly  

Fast two-qubit logic with holes in germanium

Nature, 2020
Amir Sammak, Giordano Scappucci, M Veldhorst   +2 more
exaly  

A comment on "Automata theory based on complete residuated lattice-valued logic: Pushdown automata"

Fuzzy Sets Syst., 2012
Xiuhong Guo
semanticscholar   +1 more source

Molecules with a sense of logic: a progress report

Chemical Society Reviews, 2015
Joakim Andréasson, Uwe Pischel
exaly  

alpha-Resolution principle based on first-order lattice-valued logic LF(X)

Information Sciences, 2001
Yang Xu, D. Ruan, E. Kerre, Jun Liu
semanticscholar   +1 more source

Fuzzifying topological groups based on completely distributive residuated lattice-valued logic. I

[1992] Proceedings The Twenty-Second International Symposium on Multiple-Valued Logic, 1992
Jizhong Shen
semanticscholar   +1 more source

Molecular logic and computing

Nature Nanotechnology, 2007
Amilra Prasanna De Silva
exaly