Results 321 to 328 of about 653,229 (328)
Some of the next articles are maybe not open access.
Resolution calculus for the first order linear logic
Journal of Logic, Language and Information, 1993exaly
(alpha, beta)-Ordered Linear Resolution of Intuitionistic Fuzzy Propositional Logic
2015Li Zou
exaly
HyLoRes: Direct Resolution for Hybrid Logics
Lecture Notes in Computer Science, 2001Areces, C.E., Heguiabehere, J.M.
openaire +3 more sources

