Abstract
The logic FBCI given by linearly ordered BCI-matrices is known not to be an axiomatic extension of the well-known BCI logic. In this paper we axiomatize FBCI by adding a recursively enumerable set of schemes of inference rules to BCI and show that there is no finite axiomatization for FBCI.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bĕhounek L., Cintula P.: Fuzzy logics as the logics of chains. Fuzzy Sets Syst. 157(5), 604–610 (2006)
Blok W.J., Pigozzi D.: Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 396. American Mathematical Society, Providence (1989)
Bull R.A.: The implicational fragment of Dummett’s LC. J. Symb. Log. 27, 189–194 (1962)
Cintula P.: Weakly implicative (fuzzy) logics I. Arc. Math. Log. 45(6), 673–704 (2006)
Cintula P., Noguera C.: Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Log. 49, 417–446 (2010)
Czelakowski J.: Protoalgebraic Logics, Trends in Logic, vol. 10. Kluwer, Dordrecht (2001)
Esteva F., Godo L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271–288 (2001)
Font, J.M., Jansana, R., Pigozzi, D.: A survey of abstract algebraic logic. Studia Logica 74(1–2), 13–97 (2003). (Special issue on abstract algebraic logic II)
Garcia Olmedo F.M., Rodriguez Salas A.J.: Linearization of the BCK-logic. Studia Logica 65(1), 31–51 (2000)
Hájek P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4. Kluwer, Dordercht (1998)
Lemmon E., Meredith C., Meredith D., Prior A., Thomas I.: Calculi of pure strict implication. In: Davis, J., Hockney, D., Wilson, W. (eds) Philosophical Logic, pp. 215–250. Reidel, Dordrecht (1969)
Metcalfe G., Montagna F.: Substructural fuzzy logics. J. Symb. Log. 7(3), 834–864 (2007)
Metcalfe G., Olivetti N., Gabbay D.: Proof Theory for Fuzzy Logics. Springer, Berlin (2008)
Wang S.M., Qin F., Wang M.Y.: Solutions to Cintula’s open problems. Fuzzy Sets Syst. 157, 2091–2099 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
The work of the first author was supported by the National Foundation of Natural Sciences of China (Grant No.60663002 &60863002). The work of the second author was supported by the National Foundation of Natural Sciences of China (Grant No.10871229 & 11171308).
Rights and permissions
About this article
Cite this article
Wang, Sm., Pei, DW. On an axiomatic system for the logic of linearly ordered BCI-matrices. Arch. Math. Logic 51, 285–297 (2012). https://doi.org/10.1007/s00153-011-0265-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-011-0265-4