Elementary theories of free topo-Boolean and pseudo-Boolean algebras
From MaRDI portal
Publication:1076014
DOI10.1007/BF01157678zbMath0593.03041MaRDI QIDQ1076014
Vladimir Vladimirovich Rybakov
Publication date: 1985
Published in: Mathematical Notes (Search for Journal in Brave)
modal logicintuitionistic logicfree algebrasintermediate logicspseudo-Boolean algebratopo-Boolean algebra
Modal logic (including the logic of norms) (03B45) Undecidability and degrees of sets of sentences (03D35) Logical aspects of lattices and related structures (03G10) Intermediate logics (03B55)
Related Items
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, On Bellissima's construction of the finitely generated free Heyting algebras, and beyond, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Cites Work