  There are several other approaches to a uniform proof-theoretic characterization of logical constants, all of whom at least touch upon issues of proof-theoretic semantics. Such theories are Belnap’s Display Logic (Belnap, 1982), Wansing’s Logic of Information Structures (Wansing, 1993b), generic proof editing systems and their implementations such as the Edinburgh logical framework (Harper, Honsell, and Plotkin, 1987) and many successors which allow the specification of a variety of logical systems. Since the rise of linear and, more generally, substructural logics (Di Cosmo and Miller, 2010; Restall, 2009) there are various approaches dealing with logics that differ with respect to restrictions on their structural rules. A recent movement away from singling out a particular logic as the true one towards a more pluralist stance (see, e.g., Beall and Restall, 2006) which is interested in what different logics have in common without any preference for a particular logic can be seen as a shift away from semantical justification towards structural characterization.