Elementary theories of free topo-Boolean and pseudo-Boolean algebras

DOI10.1007/BF01157678zbMath0593.03041MaRDI QIDQ1076014

Vladimir Vladimirovich Rybakov

Publication date: 1985

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

modal logicintuitionistic logicfree algebrasintermediate logicspseudo-Boolean algebratopo-Boolean algebra

Mathematics Subject Classification ID

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

• The algebra of topology
• One hundred and two problems in mathematical logic
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item