Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Avron, A.: A constructive analysis of RM. Journal of Symbolic Logic 52(4), 939–951 (1987)
Baaz, M., Zach, R.: Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 187–201. Springer, Heidelberg (2000)
Babenyshev, S., Rybakov, V., Schmidt, R.A., Tishkovsky, D.: A tableau method for checking rule admissibility in S4. In: Proceedings of UNIF 2009. ENTCS, vol. 262, pp. 17–32 (2010)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics, vol. 78. Springer, New York (1981)
Cabrer, L.M., Metcalfe, G.: Admissibility via unifiability (preprint)
Chang, C., Keisler, H.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73. Elsevier (1977)
Ciabattoni, A., Metcalfe, G.: Density elimination. Theoretical Computer Science 403, 328–346 (2008)
Cintula, P., Metcalfe, G.: Admissible rules in the implication-negation fragment of intuitionistic logic. Annals of Pure and Applied Logic 162(10), 162–171 (2010)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier (2007)
Gentzen, G.: Untersuchungen über das Logische Schliessen. Math. Zeitschrift 210, 176–210, 405–431 (1935)
Ghilardi, S.: Unification in intuitionistic logic. Journal of Symbolic Logic 64(2), 859–880 (1999)
Ghilardi, S.: Best solving modal equations. Annals of Pure and Applied Logic 102(3), 184–198 (2000)
Ghilardi, S.: A resolution/tableaux algorithm for projective approximations in IPC. Logic Journal of the IGPL 10(3), 227–241 (2002)
Iemhoff, R.: On the admissible rules of intuitionistic propositional logic. Journal of Symbolic Logic 66(1), 281–294 (2001)
Iemhoff, R.: Intermediate logics and Visser’s rules. Notre Dame Journal of Formal Logic 46(1), 65–81 (2005)
Iemhoff, R., Metcalfe, G.: Proof theory for admissible rules. Annals of Pure and Applied Logic 159(1-2), 171–186 (2009)
Jeřábek, E.: Admissible rules of modal logics. Journal of Logic and Computation 15, 411–431 (2005)
Jeřábek, E.: Admissible rules of Łukasiewicz logic. Journal of Logic and Computation 20(2), 425–447 (2010)
Jeřábek, E.: Bases of admissible rules of Łukasiewicz logic. Journal of Logic and Computation 20(6), 1149–1163 (2010)
Lorenzen, P.: Einführung in die operative Logik und Mathematik. Grundlehren der mathematischen Wissenschaften, vol. 78. Springer (1955)
Metcalfe, G.: Proof theory of mathematical fuzzy logic. In: Handbook of Mathematical Fuzzy Logic, ch. 3, vol. I, pp. 209–282. King’s College Publications (2011)
Metcalfe, G., Montagna, F.: Substructural fuzzy logics. Journal of Symbolic Logic 72(3), 834–864 (2007)
Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Springer (2008)
Metcalfe, G., Röthlisberger, C.: Unifiability and Admissibility in Finite Algebras. In: Cooper, S.B., Dawar, A., Löwe, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 485–495. Springer, Heidelberg (2012)
Rozière, P.: Admissible and derivable rules in intuitionistic logic. Mathematical Structures in Computer Science 2(3), 129–136 (1993)
Rybakov, V.: Admissibility of Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, vol. 136. Elsevier, Amsterdam (1997)
Takeuti, G., Titani, T.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. Journal of Symbolic Logic 49(3), 851–866 (1984)
Whitman, P.: Free lattices. Annals of Mathematics 42, 325–329 (1941)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Metcalfe, G. (2012). Admissible Rules: From Characterizations to Applications. In: Ong, L., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2012. Lecture Notes in Computer Science, vol 7456. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32621-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-32621-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32620-2
Online ISBN: 978-3-642-32621-9
eBook Packages: Computer ScienceComputer Science (R0)