On compactness and consistency in finite lattice-valued propositional logic
- Pan, X.
- Xu, Y.
- Martinez, L.
- Ruan, D.
- Liu, J.
ISSN: 0302-9743, 1611-3349
Año de publicación: 2010
Volumen: 6077 LNAI
Número: PART 2
Páginas: 328-334
Tipo: Aportación congreso