Equations in free topoboolean algebra
From MaRDI portal
Publication:1092029
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
03G10: Logical aspects of lattices and related structures
03B25: Decidability of theories and sets of sentences
08B20: Free algebras
06B25: Free lattices, projective lattices, word problems
Related Items
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Inference rules with metavariables and logical equations in the pretabular modal logic PM1, 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, Rules with parameters in modal logic. I.
Cites Work