COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

DOI10.1002/malq.19920380147zbMath0798.03022OpenAlexW1979259223MaRDI QIDQ4295250

Ming Sheng Ying

Publication date: 8 June 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19920380147

zbMATH Keywords

compactnessLöwenheim-Skolem propertydirect products of lattices of truth valuesPavelka's logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Basic properties of first-order languages and structures (03C07)

Related Items

Institutions of variable truth values: An approach in the ordered style ⋮ Fuzzy logic with countable evaluated syntax revisited ⋮ Lattice-theoretic models of conjectures, hypotheses and consequences ⋮ Linguistic quantifiers modeled by Sugeno integrals ⋮ Some properties of the roots of theories in propositional logic systems ⋮ A theory of computation based on quantum logic. I