scientific article; zbMATH DE number 1163951

MaRDI QIDQ4395576zbMATH OpenFDO

Authors Marek Wacławek

Publication date 11 June 1998

zbMATH Keywords

abstract logicscompact logiccountable compactness propertyexpressivenessLöwenheim-Skolem property

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Review text

The family of all abstract logics is naturally endowed with the partial order relation stating that one logic is more expressive than another. The author proves that the subfamily of logics satisfying the downward Löwenheim-Skolem theorem from an inf-semilattice but not a lattice. The same result is proved for the subfamily of logics satisfying the countable compactness theorem. For the entire collection see [Zbl 0885.00035].

Recommendations

• Compactness and normality in abstract logics
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Duality for Compact Logics and Substitution in Abstract Model Theory
• Ordering protoalgebraic logics

Cited in

(3)

• A note on extensions of infinitary logic
• COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

This page was built for publication:

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