AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS

DOI10.1070/SM1988v059n02ABEH003142zbMath0632.03017MaRDI QIDQ3768874

A. Yu. Muravitskij

Publication date: 1988

Published in: Mathematics of the USSR-Sbornik (Search for Journal in Brave)

zbMATH Keywords

separation propertypseudoboolean algebramodal propositional calculusintuitionistic provability calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (1)

On products of posets and coproducts of KM-algebras

This page was built for publication: AN ALGEBRAIC PROOF OF THE SEPARATION PROPERTY FOR AN INTUITIONISTIC PROVABILITY CALCULUS