Results 321 to 328 of about 653,229 (328)

Resolution calculus for the first order linear logic

Journal of Logic, Language and Information, 1993
exaly  

(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic

2015
Li Zou
exaly  

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

International Journal of Applied Management Science, 2012
exaly  

Fuzzy temporal constraint logic: a valid resolution principle

Fuzzy Sets and Systems, 2001
exaly  

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

2017
exaly  

HyLoRes: Direct Resolution for Hybrid Logics

Lecture Notes in Computer Science, 2001
Areces, C.E., Heguiabehere, J.M.
openaire   +3 more sources

Resolution for Intuitionistic Logic.

2017
openaire  

A plural resolution logic

2001
openaire   +1 more source