Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
type: Item
instance of: scholarly article
title: Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
zbMATH Open document ID: 1454.03035
author: Stefano Aguzzoli
author: Matteo Bianchi
author: Brunella Gerla
author: Diego Valota
published in: International Journal of Approximate Reasoning
publication date: 2019-02-20T00:00:00Z
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 7025906
zbMATH Keywords: probability measures in non-classical logics
zbMATH Keywords: Gödel propositional logic
zbMATH Keywords: \(\text{Gödel}_{\Delta}\) propositional logic
zbMATH Keywords: drastic product logic
zbMATH Keywords: free algebras
MaRDI profile type: Publication
full work available at URL: j.ijar.2018.10.016
OpenAlex ID: W2899358613
cites work: Probability measures in \(\text{Gödel}_\varDelta\) logic
cites work: A temporal semantics for basic logic
cites work: A Note on Drastic Product Logic
cites work: Computing Minimal Axiomatizations in Godel Propositional Logic
cites work: Probability measures in the logic of nilpotent minimum
cites work: De Finetti's no-Dutch-book criterion for Gödel logic
cites work: Q4893133
cites work: A temporal semantics for nilpotent minimum logic
cites work: The logic of the strongest and the weakest t-norms
cites work: Finite RDP-algebras: duality, coproducts and logic
cites work: Q5406036
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Towards a probability theory for product logic: states, integral representation and reasoning
cites work: Q4627754
cites work: Metamathematics of fuzzy logic
cites work: On the structure of rotation-invariant semigroups
cites work: Averaging the truth-value in Łukasiewicz logic
cites work: Advanced Łukasiewicz calculus and MV-algebras
cites work: Invariant Measures in Free MV-Algebras
cites work: Every state on semisimple MV-algebra is integral
cites work: A fuzzy logic for the revised drastic product t-norm.
DOI: 10.1016/J.IJAR.2018.10.016
Recommended article: Q4636295
Recommended article: Q4875137
Recommended article: Free algebras corresponding to multiplicative classical linear logic and some of its extensions
Recommended article: Quantifier-free logic for multialgebraic theories
Recommended article: Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
Recommended article: Fregean logics with the multiterm deduction theorem and their algebraization
Recommended article: Free Modal Algebras: A Coalgebraic Perspective
Recommended article: Q4598381
Recommended article: Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
Recommended article: Q4817199
description: scientific article; zbMATH DE number 7025906