scientific article; zbMATH DE number 7547163

DOI10.22111/IJFS.2022.6785MaRDI QIDQ5084205zbMATH OpenFDO

Authors

Publication date 23 June 2022

Full work available at URL https://doi.org/10.22111/IJFS.2022.6785

zbMATH Keywords

fuzzy logicknotted axiomsmianormsemilinear logicsubstructural logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Fuzzy logic; logic of vagueness (03B52)

Cites work

• n-contractive BL-logics
• A non-associative quantum mechanics
• A note on standard completeness for some extensions of uninorm logic
• A proof of standard completeness for Esteva and Godo's logic MTL
• A proof of the standard completeness for the involutive uninorm logic
• A realistic (non-associative) logic and a possible explanations of \(7\pm 2\) law
• Basic substructural core fuzzy logics and their extensions: mianorm-based logics
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Extending intuitionistic linear logic with knotted structural rules
• Extension to copulas and quasi-copulas as special 1-Lipschitz aggregation operators.
• Fusion of fuzzy information with considerations for compatibility, partial aggregation, and reinforcement
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• Implicational (semilinear) logics. I: A new hierarchy
• Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
• Metamathematics of fuzzy logic
• Micanorm aggregation operators: basic logico-algebraic properties
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Nonstandard conjunctions and implications in fuzzy logic
• On n ‐contractive fuzzy logics
• On copulas, quasicopulas and fuzzy logic
• On fuzzy implications determined by aggregation operators
• Residuated lattices. An algebraic glimpse at substructural logics
• Semi-uninorms and implications on a complete lattice
• Semicopulæ.
• Some properties of overlap and grouping functions and their application to image thresholding
• Structure of uninorms
• Substructural fuzzy logics
• The Distributivity Equations of Semi-Uninorms
• The finite model property for knotted extensions of propositional linear logic
• The quest for the basic fuzzy logic
• Towards more realistic (e.g., non-associative) ``and - and ``or-operations in fuzzy logic
• Toy models of a nonassociative quantum mechanics
• Two families of fuzzy integrals
• Uninorm logic with the \(n\)-potency axiom
• Weakening-free, non-associative fuzzy logics: micanorm-based logics

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 Q5084205)