scientific article; zbMATH DE number 5038461

zbMath1098.03022MaRDI QIDQ5477357

Larisa L. Maksimova

Publication date: 3 July 2006

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

zbMATH Keywords

interpolationconsistencypropositional modal logicsintuitionistic logicBeth propertytabularitypositive logicdecidable property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Algebraic logic (03G99) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Decidability of the interpolation problem and of related properties in tabular logics ⋮ Definability and interpolation in non-classical logics

This page was built for publication: