scientific article; zbMATH DE number 970634

zbMath0862.03006MaRDI QIDQ5688813

Szabolcs Mikulás

Publication date: 23 January 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesscylindric algebrasmulti-modal logicclassical first-order logic with \(n\) variablesquasi-polyadic equality algebrasrepresentation theorems for algebrasweakly sound and complete Gabbay-style inference systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Notions of density that imply representability in algebraic logic

This page was built for publication: