Decidable properties of logical calculi and of varieties of algebras
zbMATH Open1098.03022MaRDI QIDQ5477357FDOQ5477357
Authors: L. L. Maksimova 
Publication date: 3 July 2006
Recommendations
- Strongly decidable properties of modal and intuitionistic calculi
- The undecidability of the disjunction property of propositional logics and other related problems
- Decidability of the interpolation problem and of related properties in tabular logics
- Complexity of interpolation and related problems in positive calculi
- Complexity of some problems in positive and related calculi
consistencyinterpolationintuitionistic logicBeth propertytabularitypropositional modal logicspositive logicdecidable property
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Algebraic logic (03G99)
Cited In (11)
- Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
- The decidability of some classes of Stone algebras
- Complexity of some problems in positive and related calculi
- Varieties of algebraic systems and propositional calculi
- SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
- Alfred Tarski and decidable theories
- Definability and interpolation in non-classical logics
- Strongly decidable properties of modal and intuitionistic calculi
- Some locally tabular logics with contraction and mingle
- On decomposability in logical calculi
- Decidability of the interpolation problem and of related properties in tabular logics
This page was built for publication: Decidable properties of logical calculi and of varieties of algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477357)
