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

DOI10.1002/MALQ.19920380147zbMATH Open0798.03022OpenAlexW1979259223MaRDI QIDQ4295250FDOQ4295250

Authors: Mingsheng 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

Recommendations

• scientific article; zbMATH DE number 221397
• scientific article; zbMATH DE number 1296811
• Compactness=JEP in any logic
• scientific article; zbMATH DE number 1150406
• scientific article; zbMATH DE number 1163951

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)

Cited In (7)

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

This page was built for publication: COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4295250)