scientific article; zbMATH DE number 4006236

zbMATH Open0621.03010MaRDI QIDQ3757894FDOQ3757894

Authors: Alexei Y. Muravitsky 

Publication date: 1986

Full work available at URL: https://eudml.org/doc/71816

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4059357
• scientific article; zbMATH DE number 3935005
• scientific article; zbMATH DE number 3976993
• Algebraic proof of the separation theorem on classical propositional calculus
• Magari and \(\Delta\)-pseudo-Boolean algebras

zbMATH Keywords

separation propertypseudoboolean algebramodal propositional calculusproof-intuitionistic calculus

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic proof of the separation theorem on classical propositional calculus
• The bounded proof property via step algebras and step frames

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 Q3757894)