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
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
This page was built for publication: Equations in free topoboolean algebra