scientific article; zbMATH DE number 3383979

MaRDI QIDQ5654015zbMATH OpenFDO

Authors Helena Rasiowa

Publication date 1972

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cited in

(7)

• Maksimova, relevance and the study of lattices of non-classical logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Post algebras in the work of Helena Rasiowa
• Interpolation theorem in many-valued logics with designated values
• Definability and interpolation in non-classical logics
• Mixed-valued predicate calculi
• Interpolation properties of superintuitionistic 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 Q5654015)