Abstract
The drastic product * D is known to be the smallest t-norm, since x * D y = 0 whenever x, y < 1. This t-norm is not left-continuous, and hence it does not admit a residuum. So, there are no drastic product t-norm based many-valued logics, in the sense of [7]. However, if we renounce standard completeness, we can study the logic whose semantics is provided by those MTL chains whose monoidal operation is the drastic product. This logic is called S3MTL in [17]. In this note we justify the study of this logic, which we rechristen DP (for drastic product), by means of some interesting properties relating DP and its algebraic semantics to a weakened law of excluded middle, to the Δ projection operator and to discriminator varieties. We shall show that the category of finite DP-algebras is dually equivalent to a category whose objects are multisets of finite chains. This duality allows us to classify all axiomatic extensions of DP, and to compute the free finitely generated DP-algebras.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baaz, M.: Infinite-valued Gödel logics with 0-1-projections and relativizations. In: Gödel 1996: Logical Foundations of Mathematics, Computer Science and Physics – Kurt Gödel’s Legacy, pp. 23–33. Springer, Berlin (1996)
Bianchi, M., Montagna, F.: n-contractive BL-logics. Arch. Math. Log. 50(3-4), 257–285 (2011)
Blok, W., Pigozzi, D.: Algebraizable logics. Memoirs of The American Mathematical Society, vol. 77(396). American Mathematical Society (1989)
Bova, S., Valota, D.: Finite RDP-algebras: duality, coproducts and logic. J. Log. Comp. 22(3), 417–450 (2012)
Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F., Noguera, C.: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann. Pure Appl. Log. 160(1), 53–81 (2009)
Cintula, P., Hájek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol. 1 and 2. College Publications (2011)
Esteva, F., Godo, L.: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001)
Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39(2), 103–124 (2000)
Hájek, P.: Metamathematics of fuzzy logic. Trends in Logic, vol. 4. Kluwer Academic Publishers (1998)
Horčík, R., Noguera, C., Petrík, M.: On n-contractive fuzzy logics. Math. Log. Q. 53(3), 268–288 (2007)
Jenei, S.: A note on the ordinal sum theorem and its consequence for the construction of triangular norms. Fuzzy Sets Syst. 126(2), 199–205 (2002)
Johnstone, P.T.: Stone spaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press (1982)
Klement, E.P., Mesiar, R., Pap, E.: Triangular norms. Trends in Logic, vol. 8. Kluwer Academic Publishers (2000)
Kowalski, T.: Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices. Stud. Log. 77(2), 255–265 (2004)
Montagna, F.: Generating the variety of BL-algebras. Soft Comput. 9(12), 869–874 (2005)
Montagna, F.: Completeness with respect to a chain and universal models in fuzzy logic. Arch. Math. Log. 50(1-2), 161–183 (2011)
Noguera, C.: Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC (2006), http://ow.ly/rV2sL
Schweizer, B., Sklar, A.: Associative functions and abstract semigroups. Publ. Math. Debrecen 10, 69–81 (1963)
Wang, S.: A fuzzy logic for the revised drastic product t-norm. Soft Comput. 11(6), 585–590 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Aguzzoli, S., Bianchi, M., Valota, D. (2014). A Note on Drastic Product Logic. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2014. Communications in Computer and Information Science, vol 443. Springer, Cham. https://doi.org/10.1007/978-3-319-08855-6_37
Download citation
DOI: https://doi.org/10.1007/978-3-319-08855-6_37
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08854-9
Online ISBN: 978-3-319-08855-6
eBook Packages: Computer ScienceComputer Science (R0)