Hoops and Fuzzy Logic

DOI10.1093/logcom/13.4.532zbMath1039.03016MaRDI QIDQ4434613

Francesc Esteva, Lluís Godo, Franco Montagna, Petr Hájek

Publication date: 10 November 2003

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/13.4.532

zbMATH Keywords

MV-algebra; basic logic; implicational fragment; BL-algebra hoop; MTL t-norm

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03D15: Complexity of computation (including implicit computational complexity)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

06D35: MV-algebras

Related Items

NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES, Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops, Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions, The variety generated by all the ordinal sums of perfect MV-chains, Arithmetical complexity of fuzzy predicate logics -- a survey, Normal forms and free algebras for some extensions of MTL, The logic of tied implications. II. Syntax, Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, \(L\)-algebras, self-similarity, and \(l\)-groups, Representable good EQ-algebras, Dialogue games for many-valued logics -- an overview, Giles's game and the proof theory of Łukasiewicz logic, A general Glivenko theorem, Analytic calculi for product logics, On the predicate logics of continuous t-norm BL-algebras, Logical connectives on lattice effect algebras, From games to truth functions: a generalization of Giles's game, Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Triangular norm based predicate fuzzy logics, A categorical semantics for fuzzy predicate logic, MTL-algebras arising from partially ordered groups, A categorical equivalence for product algebras, Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\), Formal systems of fuzzy logic and their fragments, Fuzzy logic as a logic of the expressive strength of information, What is mathematical fuzzy logic, The logic of tied implications. I: Properties, applications and representation, Mathematical fuzzy logic as a tool for the treatment of vague information, Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, A note to the definition of the Ł\(\Pi\)-algebras, Archimedean classes in integral commutative residuated chains