An algebraic approach to propositional fuzzy logic

DOI10.1023/A:1008322226835zbMath0942.06006MaRDI QIDQ1971782

Franco Montagna

Publication date: 23 August 2000

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

zbMATH Keywords

Łukasiewicz logicMV-algebras with productproduct connective

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) MV-algebras (06D35) Many-valued logic (03B50)

Related Items (43)

Convex MV-algebras: many-valued logics meet decision theory ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras ⋮ Equational type characterization for \(\sigma\)-complete MV-algebras. ⋮ A logic for reasoning about the probability of fuzzy events ⋮ Towards understanding the Pierce-Birkhoff conjecture via MV-algebras ⋮ Stochastic independence for probability MV-algebras ⋮ Conditional probability on the Kôpka's \(D\)-posets ⋮ De Finetti's coherence and exchangeability in infinitary logic ⋮ Scalar extensions for algebraic structures of Łukasiewicz logic. ⋮ MV-modules ⋮ On a class of residuated semilattice monoids ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Layers of zero probability and stable coherence over Łukasiewicz events ⋮ Notes on divisible MV-algebras ⋮ Łukasiewicz and His Followers in Many-Valued Logic ⋮ Partially undetermined many-valued events and their conditional probability ⋮ Logical entropy of dynamical systems in product MV-algebras and general scheme ⋮ Lattice-theoretic properties of algebras of logic ⋮ Pavelka-style completeness in expansions of Łukasiewicz logic ⋮ Ł\(\Pi\) logic with fixed points ⋮ Quantum computational logic with mixed states ⋮ Functorial representation theorems for MV\(_\Delta\) algebras with additional operators ⋮ A logical and algebraic treatment of conditional probability ⋮ MVW-rigs and product MV-algebras ⋮ Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic ⋮ On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) ⋮ Adding structure to MV-algebras ⋮ Categorical equivalence between \(\mathrm{PMV}_f \)-product algebras and semi-low \(f_u \)-rings ⋮ Kolmogorov-Sinaj entropy on MV-algebras ⋮ Fuzzy propositional logic associated with quantum computational gates ⋮ On the Continuity of Probability on IF Sets ⋮ Strong Poincaré recurrence theorem in MV-algebras ⋮ Some generalizations of fuzzy structures in quantum computational logic ⋮ Barycentric Algebras and Gene Expression ⋮ Unnamed Item ⋮ Unnamed Item ⋮ \(R\)-norm entropy and \(R\)-norm divergence in product MV-algebras ⋮ Sufficient triangular norms in many-valued logics with standard negation ⋮ Partial algebras for Łukasiewicz logics and its extensions ⋮ A note to the definition of the Ł\(\Pi\)-algebras ⋮ Variation on a Poincaré theorem ⋮ On the Kluvánek construction of the Lebesgue integral with respect to a vector measure

This page was built for publication: An algebraic approach to propositional fuzzy logic