scientific article

Publication date: 27 September 1992

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

fuzzy sets frames Lukasiewicz logic category of \(M\)-valued sets commutative, unital quantale shaves over a quantale

Fuzzy logic; logic of vagueness (03B52) Theory of fuzzy sets, etc. (03E72) Categorical logic, topoi (03G30) Ordered semigroups and monoids (06F05) Many-valued logic (03B50)

Related Items

Some corollaries of the correspondence between partial metrics and multivalued equalities ⋮ A formal study of linearity axioms for fuzzy orderings ⋮ Tableau method for residuated logic ⋮ M-valued Measure of Roughness for Approximation of L-fuzzy Sets and Its Topological Interpretation ⋮ The relation between inference and interpolation in the framework of fuzzy systems ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches ⋮ Fuzzy sets and vague environments ⋮ Fuzzy \(T\)-transitive relations: Eigenvectors and generators ⋮ Observability in locally vague environments ⋮ A general theory of fuzzy topological spaces ⋮ Fuzzy sets and sheaves. I: Basic concepts ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ \(L\)-valued bornologies on powersets ⋮ Monoids with quantale-valued preorders: globalizations and localizations ⋮ Completions of cut systems in \(Q\)-sets ⋮ Cut systems in sets with similarity relations ⋮ Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ Preordered sets valued in a GL-monoid ⋮ On a Category of Extensional Fuzzy Rough Approximation L-valued Spaces ⋮ Graded Dominance and Cantor-Bernstein Equipollence of Fuzzy Sets ⋮ Many-Valued Preorders II: The Symmetry Axiom and Probabilistic Geometry ⋮ Editorial ⋮ Finite-valued indistinguishability operators ⋮ Quantale-valued dissimilarity ⋮ Aggregation operators in fuzzy relational mathematical morphology: erosion and dilation ⋮ Characterization of quantale-valued metric spaces and quantale-valued partial metric spaces by convergence ⋮ A note on Kripke semantics for residuated logic ⋮ A non-commutative and non-idempotent theory of quantale sets ⋮ Fuzzy presubsets as non-idempotent and non-commutative classifications of subalgebras ⋮ A natural interpretation of fuzzy sets and fuzzy relations ⋮ Topological aspects of non-convergent sequences -- a comment on Burgin's concept of fuzzy limits ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ Foundations of fuzzy sets ⋮ 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 ⋮ Complete Subobjects of Fuzzy Sets Over MV-Algebras ⋮ Extensional subobjects in categories of Ω-fuzzy sets ⋮ On the measure of \(M\)-rough approximation of \(L\)-fuzzy sets ⋮ Unnamed Item ⋮ Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences ⋮ On \(L^M\)-valued automata: an operator oriented view ⋮ A study on the relationship between relaxed metrics and indistinguishability operators ⋮ The Dedekind-MacNeille completions for fuzzy posets ⋮ On two categories of many-level fuzzy morphological spaces ⋮ Generalized t-norm structures ⋮ Equality relations as a basis for fuzzy control ⋮ Should fuzzy equality and similarity satisfy transitivity? Comments on the paper by M. De Cock and E. Kerre ⋮ Products of elements in vague semigroups and their implementations in vague arithmetic. ⋮ Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years ⋮ Propositional calculus under adjointness ⋮ Measure of Operators Associated with Fuzzy Automata