Hoops and Fuzzy Logic
From MaRDI portal
Publication:4434613
DOI10.1093/logcom/13.4.532zbMath1039.03016OpenAlexW1989030813MaRDI QIDQ4434613
Franco Montagna, Petr Hájek, Lluís Godo, Francesc Esteva
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
Fuzzy logic; logic of vagueness (03B52) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) MV-algebras (06D35)
Related Items
Normal forms and free algebras for some extensions of MTL ⋮ The logic of tied implications. II. Syntax ⋮ Hoop twist-structures ⋮ Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ Local and perfect semihoops ⋮ Logical connectives on lattice effect algebras ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Fragments of quasi-Nelson: residuation ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Complexity of some language fragments of fuzzy logics ⋮ States and internal states on semihoops ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components ⋮ Introduction ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Hyperstates of Involutive MTL-Algebras that Satisfy $$(2x)^2=2(x^2)$$ ⋮ State maps on semihoops ⋮ Formal systems of fuzzy logic and their fragments ⋮ NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES ⋮ Single chain completeness and some related properties ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ Fuzzy logic as a logic of the expressive strength of information ⋮ Analytic calculi for product logics ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ 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 ⋮ What is mathematical fuzzy logic ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ 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 ⋮ Representable good EQ-algebras ⋮ Logic for abstract hoop twist-structures ⋮ Monadic bounded hoops ⋮ Dialogue games for many-valued logics -- an overview ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ Axiomatization of non-associative generalisations of Hájek's BL and psBL ⋮ Archimedean classes in integral commutative residuated chains ⋮ On linear varieties of MTL-algebras ⋮ Giles's game and the proof theory of Łukasiewicz logic ⋮ Representation by triples of algebras with an MV-retract ⋮ Totally Ordered Monoids Based on Triangular Norms ⋮ A general Glivenko theorem ⋮ The existence of states based on Glivenko semihoops ⋮ 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 ⋮ Spectra and reticulation of semihoops ⋮ A categorical equivalence for product algebras ⋮ Split exact sequences of finite MTL-chains ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey ⋮ From semantic games to provability: the case of Gödel logic
