Free algebras, states and duality for the propositional Gödel_ and drastic product logics

DOI10.1016/J.IJAR.2018.10.016MaRDI QIDQ1726317zbMATH OpenOpenAlexFDO

Authors Stefano Aguzzoli, Matteo Bianchi, Brunella Gerla, Diego Valota

Publication date 20 February 2019

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2018.10.016

zbMATH Keywords

\(\text{Gödel}_{\Delta}\) propositional logicdrastic product logicfree algebrasGödel propositional logicprobability measures in non-classical logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Free algebras for Gödel-Löb provability logic
• scientific article; zbMATH DE number 871868
• Free algebras corresponding to multiplicative classical linear logic and some of its extensions
• Quantifier-free logic for multialgebraic theories
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• Fregean logics with the multiterm deduction theorem and their algebraization
• Free Modal Algebras: A Coalgebraic Perspective
• Free logics: a survey
• Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
• scientific article; zbMATH DE number 2101973

Cites work

• A fuzzy logic for the revised drastic product t-norm.
• A Note on Drastic Product Logic
• A temporal semantics for basic logic
• A temporal semantics for nilpotent minimum logic
• Advanced Łukasiewicz calculus and MV-algebras
• Averaging the truth-value in Łukasiewicz logic
• Computing Minimal Axiomatizations in Godel Propositional Logic
• De Finetti's no-Dutch-book criterion for Gödel logic
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Every state on semisimple MV-algebra is integral
• Finite RDP-algebras: duality, coproducts and logic
• scientific article; zbMATH DE number 7034312 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• scientific article; zbMATH DE number 6276270 (Why is no real title available?)
• Invariant Measures in Free MV-Algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the structure of rotation-invariant semigroups
• Probability measures in \(\text{Gödel}_\varDelta\) logic
• Probability measures in the logic of nilpotent minimum
• The logic of the strongest and the weakest t-norms
• Towards a probability theory for product logic: states, integral representation and reasoning

Cited in

(3)

• Representations for logics and algebras related to revised drastic product t-norm
• Probability measures in \(\text{Gödel}_\varDelta\) logic
• Finite RDP-algebras: duality, coproducts and logic

This page was built for publication: Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics

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