How to Augment a Formal System with a Boolean Algebra Component

This publication has 5 references indexed in Scilit:

• Fibring Logics
  Published by Oxford University Press (OUP) ,1998
• An Overview of Fibred Semantics and the Combination of Logics
  Published by Springer Nature ,1996
• Modal Logic
  Published by Cambridge University Press (CUP) ,1980
• Boolean Algebras with Operators. Part I
  American Journal of Mathematics, 1951
• Untersuchungen ber das Eliminationsproblem der mathematischen Logik
  Mathematische Annalen, 1935