scientific article; zbMATH DE number 764336

Publication date: 6 June 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

completeness MacNeille completion divisibility filters expository survey commutative quantale Girard quantales commutative, residuated \(l\)-monoid strong De Morgan law

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items

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, Monoidal closedness of the category of stratified \(L\)-semiuniform convergence spaces, Lifting associative operations on subposets of a complete lattice, Ordinal sums: from triangular norms to bi- and multivariate copulas, Some new construction methods of t-norms and t-conorms on bounded lattices, Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures, Modules with fusion and implication based over distributive lattices: representation and duality, Fuzzy function as an approximate solution to a system of fuzzy relation equations, Arithmetic operators in interval-valued fuzzy set theory, Dioïds and semirings: Links to fuzzy sets and other applications, Fuzzy equivalence relations and their equivalence classes, Completeness of Hutton [0,1-quasi-uniform spaces], \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?, The notion of closedness and D-connectedness in Quantale-valued approach spaces, Some Properties of Residuated Lattices, Unnamed Item, Monoidal t-norm based logic: Towards a logic for left-continuous t-norms, On the scope of some formulas defining additive connectives in fuzzy logics, Triangular norms on partially ordered sets, Profinite completions and MacNeille completions of finitely presented MV-algebras, Unnamed Item, M-valued Measure of Roughness for Approximation of L-fuzzy Sets and Its Topological Interpretation, \(\top\)-diagonal conditions and continuous extension theorem, Observability in locally vague environments, A general theory of fuzzy topological spaces, Maxima and minima in fuzzified linear orderings, M-zeroids: structure and categorical equivalence, Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras, Residuated skew lattices, Stratified \(LMN\)-convergence tower groups and their stratified \(LMN\)-uniform convergence tower structures, Non-commutative Quantales for Many-Valuedness in Applications, On a Category of Extensional Fuzzy Rough Approximation L-valued Spaces, Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\), On EMV-algebras with square roots, On the property of \(T\)-distributivity, On the direct decomposability of t-norms on product lattices, Unnamed Item, Stratified \(L\)-ordered quasiuniform limit spaces, Introduction, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many, Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders, How to construct left-continuous triangular norms -- state of the art., Aggregation Functions on Bounded Posets, On three implication-less fragments of t-norm based fuzzy logics, Semi-divisible t-norms on discrete scales, \(Q\)-fuzzy subtopology, Determinization of fuzzy automata with membership values in complete residuated lattices, QUANTALE-VALUED GAUGE SPACES, THE CATEGORY OF T-CONVERGENCE SPACES AND ITS CARTESIAN-CLOSEDNESS, Extensions of states on MV-quantales, Lattice-valued semiuniform convergence spaces, Weakly linear systems of fuzzy relation inequalities: the heterogeneous case, Simplification and independence of axioms of fuzzy logic systems IMTL and NM, Towards the Generalization of Mundici’s Γ Functor to IMTL Algebras: The Linearly Ordered Case, \(H\)-transformation of t-norms, Advances and challenges in interval-valued fuzzy logic, The logic of tied implications. I: Properties, applications and representation, Hutton \([0,1\)-quasi-uniformities induced by fuzzy (quasi-)metric spaces], On stratified \(L\)-valued filters induced by \(\top\)-filters, Fuzzy transforms: theory and applications, On ordinal sums of triangular norms on bounded lattices, Fuzzy sets and formal logics, Fuzzy sets as two-sorted algebras, A theory of vague lattices based on many-valued equivalence relations. I: General representation results, A theory of vague lattices based on many-valued equivalence relations. II: Complete lattices, Fuzzy logics from substructural perspective, Triangular norm based predicate fuzzy logics, On expansions of WNM t-norm based logics with truth-constants, Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions, Fuzzy logics with an additional involutive negation, A categorical semantics for fuzzy predicate logic, On extensions of triangular norms on bounded lattices, Standard completeness theorem for \(\Pi\)MTL, Unnamed Item, Unnamed Item, On \((L, M)\)-double fuzzy filter spaces, L-equivalence relations on L-fuzzy sets, L-partitions of L-fuzzy sets and their one-to-one connections, Issues on adjointness in multiple-valued logics, Finitary extensions of the nilpotent minimum logic and (almost) structural completeness, Ordinal sums of triangular norms on a bounded lattice, A graded notion of functionality, Complete Subobjects of Fuzzy Sets Over MV-Algebras, Extensional subobjects in categories of Ω-fuzzy sets, A comparative study of ideals in fuzzy orders, The \(\top\)-filter monad and its applications, Residuated EQ-algebras may not be residuated lattices, On the measure of \(M\)-rough approximation of \(L\)-fuzzy sets, Lattice-based sum of t-norms on bounded lattices, Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences, Coupling an MV-algebra with a Boolean algebra, Topological properties of the class of generators of an indistinguishability operator, Automata theory based on complete residuated lattice-valued logic: a categorical approach, Completeness in probabilistic quasi-uniform spaces, Towards probabilistic partial metric spaces: diagonals between distance distributions, Fuzzy functions and their applications, A small set of axioms for residuated logic, Conditioning on MV-algebras and additive measures. I, Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Generalized t-norm structures, Operations fitting triangular-norm-based biresiduation, Strict MV-algebras, Radicals in MTL-algebras, Enriched lattice-valued convergence groups, On a class of left-continuous \(\text t\)-norms, Propositional calculus under adjointness