On Compactness and Consistency in Finite Lattice-Valued Propositional Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaodong Pan, Yang Xu, Luis Martínez, Da Ruan, Jun Liu. On Compactness and Consistency in Finite Lattice-Valued Propositional Logic. In Emilio Corchado, Manuel Grana Romay, Alexandre Savio, editors, Hybrid Artificial Intelligence Systems, 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II. Volume 6077 of Lecture Notes in Computer Science, pages 328-334, Springer, 2010. [doi]

This author has not been identified. Look up 'Xiaodong Pan' in GoogleThis author has not been identified. Look up 'Yang Xu' in GoogleThis author has not been identified. Look up 'Luis Martínez' in GoogleThis author has not been identified. Look up 'Da Ruan' in GoogleThis author has not been identified. Look up 'Jun Liu' in Google

runs on WebDSL