A Note on Drastic Product Logic
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 . 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 . 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.
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 3.Blok, W., Pigozzi, D.: Algebraizable logics. Memoirs of The American Mathematical Society, vol. 77(396). American Mathematical Society (1989)Google Scholar
- 6.Cintula, P., Hájek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol. 1 and 2. College Publications (2011)Google Scholar
- 7.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)Google Scholar
- 9.Hájek, P.: Metamathematics of fuzzy logic. Trends in Logic, vol. 4. Kluwer Academic Publishers (1998)Google Scholar
- 11.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)Google Scholar
- 12.Johnstone, P.T.: Stone spaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press (1982)Google Scholar
- 13.Klement, E.P., Mesiar, R., Pap, E.: Triangular norms. Trends in Logic, vol. 8. Kluwer Academic Publishers (2000)Google Scholar
- 17.Noguera, C.: Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC (2006), http://ow.ly/rV2sL