Elementary theories of free topo-Boolean and pseudo-Boolean algebras
From MaRDI portal
Publication:1076014
DOI10.1007/BF01157678zbMATH Open0593.03041MaRDI QIDQ1076014FDOQ1076014
Authors: Vladimir Rybakov
Publication date: 1985
Published in: Mathematical Notes (Search for Journal in Brave)
Recommendations
free algebrasintuitionistic logicmodal logicintermediate logicspseudo-Boolean algebratopo-Boolean algebra
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
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)