Equations in free topoboolean algebra

DOI10.1007/BF01978885zbMath0624.03007MaRDI QIDQ1092029

Vladimir Vladimirovich Rybakov

Publication date: 1986

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187345

zbMATH Keywords

modal logicfree algebrasuperintuitionistic logicS4Int

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Decidability of theories and sets of sentences (03B25) Free algebras (08B20) Free lattices, projective lattices, word problems (06B25)

Related Items (5)

Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus ⋮ Inference rules with metavariables and logical equations in the pretabular modal logic PM1 ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV ⋮ Rules with parameters in modal logic. I.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Admissible rules for logics containing S4.3
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Equations in Free Groups
• One hundred and two problems in mathematical logic

This page was built for publication: Equations in free topoboolean algebra