A Note on Drastic Product Logic

DOI10.1007/978-3-319-08855-6_37MaRDI QIDQ5230076zbMATH OpenOpenAlexDBLPWikidataFDO

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)

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

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

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.

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

Cites work

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

Cited in

(8)

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

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)