scientific article; zbMATH DE number 3484051

MaRDI QIDQ4067097zbMATH OpenFDO

Authors Cecylia Rauszer, Bogdan Sabalski

Publication date 1975

Mathematics Subject Classification ID

Intermediate logics (03B55) Logical aspects of Boolean algebras (03G05) Ordered topological structures (06F30)

Cited in

(2)

• Topological proofs of some Rasiowa-Sikorski lemmas
• Kripke completeness of infinitary predicate multimodal logics

This page was built for publication:

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