Results 211 to 216 of about 1,395,634 (216)

α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM

2014
Yang Xu, Wenqiang Zhang, Dexian Zhang
exaly  

α-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY

2014
Xiaomei Zhong
exaly  

α-ordered linear resolution method for lattice-valued logic system based on lattice implication algebra

International Journal of Applied Management Science, 2012
exaly  

Algebraic semantics for one-variable lattice-valued logics

Cintula, Petr, Metcalfe, George, Tokuda, Naomi Maja, Fernández-Duque, David, Palmigiano, Alessandra, Pinchinat, Sophie   +5 more
openaire   +1 more source

α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system

2017
exaly  

General form of α-ordered linear resolution method for lattice-valued logic system with linguistic truth-values

2016
exaly