scientific article; zbMATH DE number 1526147
From MaRDI portal
Publication:4512929
zbMATH Open0962.03059MaRDI QIDQ4512929FDOQ4512929
Authors: Roberto Cignoli, Antoni Torrens 
Publication date: 6 November 2000
Title of this publication is not available (Why is that?)
Recommendations
Cited In (44)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- The annihilator of fuzzy subgroups
- Standard completeness of Hájek basic logic and decompositions of BL-chains
- Semi-normal forms and functional representation of product fuzzy logic.
- Fuzzy logics with an additional involutive negation
- The Cantor-Bernstein-Schröder theorem via universal algebra.
- Canonicity in subvarieties of BL-algebras
- A categorical equivalence for Stonean residuated lattices
- On Product Logic with Truth-constants
- MVW-rigs and product MV-algebras
- Product of partition logics, orthoalgebras, and automata
- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
- Extension properties and subdirect representation in abstract algebraic logic
- Free algebras in varieties of Stonean residuated lattices
- Varieties of BL-algebras
- Product logic and probabilistic Ulam games
- Varieties of bounded K-lattices
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem
- Projectivity and unification in substructural logics of generalized rotations
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- Fuzzy logics from substructural perspective
- Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
- A logical and algebraic treatment of conditional probability
- Varieties of BL-algebras. I: General properties.
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- Sufficient triangular norms in many-valued logics with standard negation
- Strict core fuzzy logics and quasi-witnessed models
- A note on intervals of residuated \(\ell \)-groupoids
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- A categorical equivalence for product algebras
- Basic hoops: an algebraic study of continuous t-norms
- Completeness with respect to a chain and universal models in fuzzy logic
- A characterization of truth-functions in the nilpotent minimum logic
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- A \textit{DPLL} procedure with dichotomous branching for propositional product logic
- Structural completeness in many-valued logics with rational constants
- A Note on Drastic Product Logic
- Supersound many-valued logics and Dedekind-MacNeille completions
- Product Łukasiewicz logic
- Functions represented by BL-algebra formulas: characterization and approximate representation
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4512929)
