@inbook {IOPORT.06084893, author = {Metcalfe, George}, title = {Admissible rules: from characterizations to applications.}, year = {2012}, booktitle = {Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3--6, 2012. Proceedings}, isbn = {978-3-642-32620-2}, pages = {56-69}, publisher = {Berlin: Springer}, doi = {10.1007/978-3-642-32621-9_4}, abstract = {Summary: The admissible rules of a logic (understood as a structural consequence relation) may be described as rules that can be added to the logic without producing any new theorems, or, equivalently, as rules such that any substitution making the premises into theorems, also makes the conclusion into a theorem. However, this equivalence collapses once multiple-conclusion or other, more exotic, admissible rules are considered. The first aim of this paper is to explain how such distinctions can be explained and characterized. The second aim is to explore how these rules can be useful in determining properties of classes of algebras.}, identifier = {06084893}, }