scientific article; zbMATH DE number 764336
From MaRDI portal
Publication:4836218
zbMath0838.06012MaRDI QIDQ4836218
Publication date: 6 June 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessMacNeille completiondivisibilityfiltersexpository surveycommutative quantaleGirard quantalescommutative, residuated \(l\)-monoidstrong De Morgan law
Ordered semigroups and monoids (06F05) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Related Items (only showing first 100 items - show all)
The generalized associative law in vague groups and its applications. I. ⋮ An introduction to quantaloid-enriched categories ⋮ Quantale-valued preorders: globalization and cocompleteness. ⋮ Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets ⋮ A new approach for classification of filters in residuated lattices ⋮ Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices ⋮ Lattice-valued preuniform convergence spaces ⋮ Many valued lattices and their representations ⋮ Uniform environments as a general framework for metrics and uniformities ⋮ Triangle algebras: A formal logic approach to interval-valued residuated lattices ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic ⋮ Relations in fuzzy class theory: initial steps ⋮ Uniform-type structures on lattice-valued spaces and frames ⋮ Lattice-valued convergence spaces and regularity ⋮ On the category of fixed basis frame valued topological groups ⋮ States on semi-divisible generalized residuated lattices reduce to states on MV-algebras ⋮ Similarity-based fuzzy limits ⋮ The logic of tied implications. II. Syntax ⋮ Semisimples in varieties of commutative integral bounded residuated lattices ⋮ Equational type characterization for \(\sigma\)-complete MV-algebras. ⋮ An introduction to vague complemented ordered sets ⋮ \(TL\)-filters of integral residuated \(l\)-monoids ⋮ An enriched category approach to many valued topology ⋮ Pretopological and topological lattice-valued convergence spaces ⋮ Truth values on generalizations of some commutative fuzzy structures ⋮ Correct models of fuzzy IF-THEN rules are continuous ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ Some types of filters in residuated lattices ⋮ Measure-free conditioning and extensions of additive measures on finite MV-algebras ⋮ Alexandroff \(L\)-co-topological spaces ⋮ Relationships between \(L\)-ordered convergence structures and strong \(L\)-topologies ⋮ Compactness in lattice-valued function spaces ⋮ On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations ⋮ On good EQ-algebras ⋮ Central points and approximation in residuated lattices ⋮ A one-point compactification for lattice-valued convergence spaces ⋮ Largest and smallest T2-compactifications of lattice-valued convergence spaces ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ Categorical foundations of variety-based topology and topological systems ⋮ Bisimulations for fuzzy automata ⋮ Lattice-valued convergence spaces: extending the lattice context ⋮ An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words ⋮ Preordered sets valued in a GL-monoid ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ On adjunctions between Lim, SL-Top, and SL-Lim ⋮ Coreflective hull of finite strong L-topological spaces ⋮ Kernel systems on \(L\)-ordered sets ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ \(n\)-fold filters of MTL-algebras ⋮ On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator ⋮ Normal residuated lattices ⋮ Triple I method based on pointwise sustaining degrees ⋮ Some properties of \( L\)-fuzzy approximation spaces based on bounded integral residuated lattices ⋮ \(\mathcal{Q}\)-closure spaces ⋮ Single chain completeness and some related properties ⋮ On derivations and their fixed point sets in residuated lattices ⋮ On state residuated lattices ⋮ Computation of the greatest simulations and bisimulations between fuzzy automata ⋮ Order-equivalent triangular norms ⋮ A characterization of interval-valued residuated lattices ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ Gähler's neighborhood condition for lattice-valued convergence spaces ⋮ On stratified \(L\)-convergence spaces: pretopological axioms and diagonal axioms ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ Compactification of lattice-valued convergence spaces ⋮ Correction to ``On many-valued stratified \(L\)-fuzzy convergence spaces ⋮ Implication structures, fuzzy subsets, and enriched categories ⋮ Pointed semi-quantales and lattice-valued topological spaces ⋮ \(L\)-fuzzy closure systems ⋮ Myhill-Nerode type theory for fuzzy languages and automata ⋮ A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ On fuzzy type theory ⋮ EQ-logics: non-commutative fuzzy logics based on fuzzy equality ⋮ Nuclei and conuclei on residuated lattices ⋮ Topological aspects of non-convergent sequences -- a comment on Burgin's concept of fuzzy limits ⋮ Effectible residuated lattices and \(n\)-th roots ⋮ Stratified \(L\)-ordered convergence structures ⋮ Stratified \((L,M)\)-fuzzy quasi-uniform spaces ⋮ Fuzzy relation equations and reduction of fuzzy automata ⋮ Filters of residuated lattices and triangle algebras ⋮ Stratified categorical fixed-basis fuzzy topological spaces and their duality ⋮ Reduction of fuzzy automata by means of fuzzy quasi-orders ⋮ The pseudo-linear semantics of interval-valued fuzzy logics ⋮ A note on Trillas' CHC models ⋮ Commutative integral bounded residuated lattices with an added involution ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ On the reflection invariance of residuated chains ⋮ Uniform fuzzy relations and fuzzy functions ⋮ Automata theory based on complete residuated lattice-valued logic: Pushdown automata ⋮ A common framework for lattice-valued uniform spaces and probabilistic uniform limit spaces ⋮ On the relationship between limit spaces, many valued topological spaces, and many valued preorders ⋮ Fuzzy homomorphisms of algebras ⋮ On two new classes of stabilizers in residuated lattices ⋮ Subcategories of lattice-valued convergence spaces ⋮ Characteristic values of T-filters ⋮ Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
This page was built for publication:
