On representation of finite pseudo-Boolean algebras and one of its applications

DOI10.1007/BF01236783zbMath0787.03059OpenAlexW2053230471MaRDI QIDQ1206268

V. I. Khomich

Publication date: 1 April 1993

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

Full work available at URL: https://doi.org/10.1007/bf01236783

zbMATH Keywords

prime idealspartially ordered setsuperintuitionistic logicpseudo-Boolean algebrasorder filters

Mathematics Subject Classification ID

Partial orders, general (06A06) Other algebras related to logic (03G25) Intermediate logics (03B55) Distributive lattices (06D99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some results on intermediate constructive logics
• On maximal intermediate logics with the disjunction property
• The algebra of topology
• On closed elements in closure algebras
• ON SUPERINTUITIONISTIC PROPOSITIONAL LOGICS CONNECTED WITH PARTIALLY ORDERED SETS
• The separation theorem of intuitionist propositional calculus
• The Theory of Representation for Boolean Algebras
• Applications of the Theory of Boolean Rings to General Topology
• [Russian Text Ignored.]

This page was built for publication: On representation of finite pseudo-Boolean algebras and one of its applications