Results 191 to 198 of about 74,540 (198)

On the consistency of rule bases based on lattice-valued first-order logic LF(X)

, 2006
Yang Xu, Jun Liu, Da Ruan, Tsu‐Tian Lee   +3 more
openalex   +1 more source

Automata theory based on complete residuated lattice—valued logic（II）

, 2001
邱道文
openalex  

α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)

, 2002
Pla Foreign
openalex  

Some of the next articles are maybe not open access.

Related searches:

The consistency property in lattice valued model theory for infinitary logic

Acta Mathematica Sinica, 1987
openaire   +2 more sources

Dynamic Neural Networks for a Kind of Lattice Valued Logic Formulae

, 2003
Liu Peng-xian
openalex  

Fuzzifying Rings and Ideals Based on Complete Residuated Lattice-Valued Logic

, 2003
Zou Xiang
openalex  

Mostowski theorem on first order lattice-valued logic

, 2003
Tong Xue
openalex  

Semantics of Lattice-Valued Tense Propositional Logic System

, 2004
Wenjiang Li
openalex