On Compactness and Consistency in Finite Lattice-Valued Propositional Logic.
Xiaodong Pan, Yang Xu, Luis Martnez-Lpez, Da Ruan, Jun Liu
Browse the full HAIS paper archive.
Xiaodong Pan, Yang Xu, Luis Martnez-Lpez, Da Ruan, Jun Liu
Browse the full HAIS paper archive.