The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
From MaRDI portal
Publication:5928311
DOI10.1007/s001530050173zbMath0966.03022OpenAlexW1976537120MaRDI QIDQ5928311
Francesc Esteva, Franco Montagna, Lluís Godo
Publication date: 6 May 2001
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050173
Related Items
Formalising PFSQL queries using ŁΠ fuzzy logic ⋮ Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability ⋮ On the difference between traditional and deductive fuzzy logic ⋮ A complete fuzzy logical system to deal with trust management systems ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ Relations in fuzzy class theory: initial steps ⋮ Filters in fuzzy class theory ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Ordered fields and Ł\(\Pi\frac{1}{2}\)-algebras ⋮ The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics ⋮ Fuzzy class theory ⋮ Possibilistic conditioning framed in fuzzy logics ⋮ Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable ⋮ T-norm-based logics with an independent involutive negation ⋮ A logic for reasoning about the probability of fuzzy events ⋮ NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach ⋮ Reasoning with graded information: the case of diagnostic rating scales in healthcare ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Mathematical Fuzzy Logics ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ A note on axiomatizations of Pavelka-style complete fuzzy logics ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Conservative expansions of substructural logics ⋮ A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA ⋮ Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics ⋮ Compactness of fuzzy logics. ⋮ Residuated fuzzy logics with additional connectives and their validation sets. ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ An efficient algorithm for representing piecewise linear functions into logic ⋮ Pavelka-style completeness in expansions of Łukasiewicz logic ⋮ Strong non-standard completeness for fuzzy logics ⋮ Ł\(\Pi\) logic with fixed points ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ An algebraic approach to linguistic hedges in Zadeh's fuzzy logic ⋮ Functorial representation theorems for MV\(_\Delta\) algebras with additional operators ⋮ A logical and algebraic treatment of conditional probability ⋮ A fuzzy logic for an ordinal sum t-norm ⋮ Which logic is the real fuzzy logic? ⋮ Triangular norm based predicate fuzzy logics ⋮ Fuzzy logics with an additional involutive negation ⋮ On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\) ⋮ Generalized rough approximations in Ł\(\Pi \frac{1}{2}\) ⋮ Rota's Fubini lectures: the first problem ⋮ On vagueness, truth values and fuzzy logics ⋮ Barycentric Algebras and Gene Expression ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Unnamed Item ⋮ Convex sets and barycentric algebras ⋮ On theories and models in fuzzy predicate logics ⋮ Structural completeness in many-valued logics with rational constants ⋮ EQ-algebras ⋮ Fuzzy description logics with general t-norms and datatypes ⋮ Hyperresolution for Gödel logic with truth constants ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Asymmetric equivalences in fuzzy logic ⋮ Partial algebras for Łukasiewicz logics and its extensions ⋮ A note to the definition of the Ł\(\Pi\)-algebras ⋮ Applications of Logics About Simple Probabilities ⋮ Non-standard probability, coherence and conditional probability on many-valued events
