scientific article; zbMATH DE number 1526147
From MaRDI portal
Publication:4512929
zbMath0962.03059MaRDI QIDQ4512929
Antoni Torrens Torrell, Roberto L. O. Cignoli
Publication date: 6 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A characterization of truth-functions in the nilpotent minimum logic ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Product logic and probabilistic Ulam games ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Varieties of bounded K-lattices ⋮ A categorical equivalence for Stonean residuated lattices ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Semi-normal forms and functional representation of product fuzzy logic. ⋮ Amalgamation through quantifier elimination for varieties of commutative residuated lattices ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ The Cantor-Bernstein-Schröder theorem via universal algebra. ⋮ Free algebras in varieties of Stonean residuated lattices ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ A logical and algebraic treatment of conditional probability ⋮ MVW-rigs and product MV-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 ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Fuzzy logics from substructural perspective ⋮ Fuzzy logics with an additional involutive negation ⋮ Interpolation and Beth's property in propositional many-valued logics: a semantic investigation ⋮ Canonicity in subvarieties of BL-algebras ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:3366657 An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem] ⋮ Varieties of BL-algebras. I: General properties. ⋮ Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms ⋮ Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic ⋮ A note on intervals of residuated \(\ell \)-groupoids ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Structural completeness in many-valued logics with rational constants ⋮ The annihilator of fuzzy subgroups ⋮ Sufficient triangular norms in many-valued logics with standard negation ⋮ A categorical equivalence for product algebras ⋮ Standard completeness of Hájek basic logic and decompositions of BL-chains ⋮ Varieties of BL-algebras ⋮ Functions represented by BL-algebra formulas: characterization and approximate representation
