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)

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)