Results 181 to 190 of about 74,540 (198)

L-TAUTOLOGY THEORY IN LATTICE-VALUED PROPOSITIONAL LOGIC

Computational Intelligence, 2010
Yang Xu, Kaijun Xu, Xiaodong Pan, Keyun Qin   +3 more
openaire   +2 more sources

A NEW LATTICE-VALUED PROPOSITIONAL LOGIC (I): SEMANTICS

Computational Intelligent Systems for Applied Research, 2002
Yang Xu, Keyun Qin
openaire   +2 more sources

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

, 2001
Yang Xu, Da Ruan, Etienne E. Kerre, Jun Liu   +3 more
openalex   +1 more source

α-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY

Decision Making and Soft Computing, 2014
Liu Jun, Yang Xu, Xiaomei Zhong, Xingxing He   +3 more
openaire   +2 more sources

THE α–RESOLUTION FIELD OF INDECOMPOSABLE EXTREMELY SIMPLE FORM OF LATTICE-VALUED PROPOSITIONAL LOGIC LP(X)

, 2002
Wei Wang, Yang Xu, Keyun Qin, Baoqing Jiang   +3 more
openalex   +1 more source

Resolution principle based on six lattice-valued proposition logic LP/sub 6/(X)

, 2004
Dan Meng, Yang Xu, Xiaoping Qiu, Keyun Qin   +3 more
openalex   +1 more source

The consistency of rule-bases in lattice-valued first-order logic LF(X)

, 2004
Tsu-Tian Lee, Yang Xu
openalex   +1 more source

Review: Makoto Itoh, On the "Lattice of $n$-Valued Functions" ($n$-Valued Logic)

, 1957
Katuzi Ono
openalex  

Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note

, 2006
Daowen Qiu
openalex   +1 more source

Declarative semantics of programming in residuated lattice-valued logic

, 2000
Mingsheng Ying
openalex