Results 221 to 230 of about 3,597,563 (258)

Multiary α-Resolution Principle for a Lattice-Valued Logic

IEEE transactions on fuzzy systems, 2013
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen   +3 more
semanticscholar   +1 more source

Recent Progress in the Development of Printed Thin‐Film Transistors and Circuits with High‐Resolution Printing Technology

Advances in Materials, 2017
K. Fukuda, T. Someya
semanticscholar   +1 more source

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2012
Xingxing He, Yang Xu, Jun Liu, Shuwei Chen   +3 more
semanticscholar   +1 more source

On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic

Logic Journal of the IGPL, 2012
Xingxing He, Jun Liu, Yang Xu, Luis Martínez-López, D. Ruan   +4 more
semanticscholar   +1 more source

Determination of α-resolution in lattice-valued first-order logic LF(X)

Information Sciences, 2011
Yang Xu, Jun Liu, D. Ruan, Xiaobing Li
semanticscholar   +1 more source

SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions

Fundamenta Informaticae, 2010
Fabrizio Riguzzi
semanticscholar   +1 more source

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly  

A Resolution Mechanism for Prenex Gödel Logic

Annual Conference for Computer Science Logic, 2010
M. Baaz, C. Fermüller
semanticscholar   +1 more source

Clausal logic and resolution

2009
openaire   +2 more sources