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
Année de publication: 2010
Volumen: 6077 LNAI
Número: PART 2
Pages: 328-334
Type: Communication dans un congrès