Abstract
We will give a state-of-the-art survey of the study of substructural logics. Originally, substructural logics were introduced as logics which, when formulated as Gentzen-style systems, lack some of the three basic structural rules, i.e. contraction, weakening and exchange. For example, relevance logics and linear logic lack the weakening rule, many-valued logics, fuzzy logics and linear logic lack the contraction rule, and hence all of them can be regarded as substructural logics. These logics have been studied extensively and various theories have been developed for their investigation. However their study has been carried out independently, mainly due to the different motivations behind them, avoiding comparisons between different substructural logics.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Galatos, N., et al.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. In: Studies in Logic and the Foundations of Mathematics, vol. 151, Elsevier, Amsterdam (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ono, H. (2008). An Algebraic Approach to Substructural Logics – An Overview. In: Huynh, VN., Nakamori, Y., Ono, H., Lawry, J., Kreinovich, V., Nguyen, H.T. (eds) Interval / Probabilistic Uncertainty and Non-Classical Logics. Advances in Soft Computing, vol 46. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77664-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-77664-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77663-5
Online ISBN: 978-3-540-77664-2
eBook Packages: EngineeringEngineering (R0)