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

DOI10.1007/BF01157678zbMATH Open0593.03041MaRDI QIDQ1076014FDOQ1076014

Authors: Vladimir Rybakov 

Publication date: 1985

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

Recommendations

• Equations in free topoboolean algebra
• scientific article; zbMATH DE number 871868
• scientific article; zbMATH DE number 3981235
• scientific article; zbMATH DE number 194904
• Publication:4724632

zbMATH Keywords

free algebrasintuitionistic logicmodal logicintermediate logicspseudo-Boolean algebratopo-Boolean algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Logical aspects of lattices and related structures (03G10) Undecidability and degrees of sets of sentences (03D35)

Cites Work

• Title not available (Why is that?)
• One hundred and two problems in mathematical logic
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology

Cited In (12)

• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Heyting* algebras, topological Boolean algebras and P.O. systems
• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• Saturated free algebras and almost indiscernible theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• Title not available (Why is that?)
• Equations in free topoboolean algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Elementary theories of free topo-Boolean and pseudo-Boolean algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1076014)