Weak soundness and completeness preservation by parallel composition
João Rasga, Cristina Sernadas, Amı́lcar Sernadas · 2010
Recent developments of the graph-theoretic account of logics and their combinations led to the proposal of a novel way of combining logics | parallel composition | subsuming bring, fusion and other combinations. Together with a brief survey of parallel composition, some technical lemmas are established that are used to prove the preservation, under some provisos, of weak soundness and weak completeness by parallel composition.