A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS
2011
The Review of Symbolic Logic
This paper develops a new framework for combining propositional logics, called "juxtaposition". Several general metalogical theorems are proved concerning the combination of logics by juxtaposition. In particular, it is shown that under reasonable conditions, juxtaposition preserves strong soundness. Under reasonable conditions, the juxtaposition of two consequence relations is a conservative extension of each of them. A general strong completeness result is proved. The paper then examines the
doi:10.1017/s1755020311000219
fatcat:7ye3sh5n5naznlzkh5azkrsbzi