Many-Valued Logic

COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
Abstract We show that compactness is preserved by arbitrary direct products of lattices of truth values and that the Löwenheim-Skolem …
引用 DOI URL