A Note on Drastic Product Logic

DOI10.1007/978-3-319-08855-6_37zbMATH Open1418.03118DBLPconf/ipmu/Aguzzoli0V14arXiv1406.7166OpenAlexW312536321WikidataQ59321731 ScholiaQ59321731MaRDI QIDQ5230076FDOQ5230076

Authors: Stefano Aguzzoli, Matteo Bianchi, Diego Valota 

Publication date: 20 August 2019

Published in: Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Abstract: The drastic product ${\ast }_D$ is known to be the smallest $t$-norm, since $x{\ast }_{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 [EG01]. 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 ${mS}_{3}mMTL$ in [NOG06]. 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 $Delta$ 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.

Full work available at URL: https://arxiv.org/abs/1406.7166

Recommendations

• scientific article; zbMATH DE number 1455783
• scientific article; zbMATH DE number 1526147
• Meditations on the product rule
• Embedding logics into product logic
• scientific article; zbMATH DE number 1231685
• A note on the product correlation rule
• On Product Logic with Truth-constants
• scientific article; zbMATH DE number 490907
• scientific article; zbMATH DE number 2196593

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Triangular norms
• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• On n ‐contractive fuzzy logics
• Handbook of mathematical fuzzy logic. Volume 1
• Algebraizable logics
• \(n\)-contractive BL-logics
• Title not available (Why is that?)
• A note on the ordinal sum theorem and its consequence for the construction of triangular norms
• Semisimplicity, EDPC and discriminator varieties of residuated lattices
• Residuated fuzzy logics with an involutive negation
• Completeness with respect to a chain and universal models in fuzzy logic
• Title not available (Why is that?)
• Generating the variety of BL-algebras
• A fuzzy logic for the revised drastic product t-norm.
• Finite RDP-algebras: duality, coproducts and logic

Cited In (8)

• On linear varieties of MTL-algebras
• Varieties of bounded K-lattices
• The logic of the strongest and the weakest t-norms
• Title not available (Why is that?)
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• Representations for logics and algebras related to revised drastic product t-norm
• Single chain completeness and some related properties
• Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics

This page was built for publication: A Note on Drastic Product Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5230076)