3 research outputs found
Failure of interpolation in the intuitionistic logic of constant domains
This paper shows that the interpolation theorem fails in the intuitionistic
logic of constant domains. This result refutes two previously published claims
that the interpolation property holds.Comment: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text
thouroughly reworked in terms of notation and style, historical notes as well
as some other minor details adde
Lateral magma flow in mafic sill complexes
The structure of upper crustal magma plumbing systems controls the distribution of volcanism and influences tectonic processes. However, delineating the structure and volume of plumbing systems is difficult because (1) active intrusion networks cannot be directly accessed; (2) field outcrops are commonly limited; and (3) geophysical data imaging the subsurface are restricted in areal extent and resolution. This has led to models involving the vertical transfer of magma via dikes, extending from a melt source to overlying reservoirs and eruption sites, being favored in the volcanic literature. However, while there is a wealth of evidence to support the occurrence of dike-dominated systems, we synthesize field- and seismic reflection-based observations and highlight that extensive lateral magma transport (as much as 4100 km) may occur within mafic sill complexes. Most of these mafic sill complexes occur in sedimentary basins (e.g., the Karoo Basin, South Africa), although some intrude crystalline continental crust (e.g., the Yilgarn craton, Australia), and consist of interconnected sills and inclined sheets. Sill complex emplacement is largely controlled by host-rock lithology and structure and the state of stress. We argue that plumbing systems need not be dominated by dikes and that magma can be transported within widespread sill complexes, promoting the development of volcanoes that do not overlie the melt source. However, the extent to which active volcanic systems and rifted margins are underlain by sill complexes remains poorly constrained, despite important implications for elucidating magmatic processes, melt volumes, and melt sources.</p