Fuzzy logic and enriched categories
From MaRDI portal
Publication:5084150
Recommendations
- Convergence of linear Bregman ADMM for nonconvex and nonsmooth problems with nonseparable structure
- Convergence of ADMM for multi-block nonconvex separable optimization models
- Global convergence of ADMM in nonconvex nonsmooth optimization
- Convergence analysis of alternating direction method of multipliers for a family of nonconvex problems
- On the sublinear convergence rate of multi-block ADMM
Cites work
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- A categorical semantics for fuzzy predicate logic
- A treatise on many-valued logics
- Categorical approaches to non-commutative fuzzy logic
- Enriched Lawvere theories for operational semantics
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Metamathematics of fuzzy logic
- Metric spaces, generalized logic, and closed categories
- Proofs, reasoning and the metamorphosis of logic
Cited in
(6)- A Bregman-style partially symmetric alternating direction method of multipliers for nonconvex multi-block optimization
- scientific article; zbMATH DE number 7687810 (Why is no real title available?)
- An extended proximal ADMM algorithm for three-block nonconvex optimization problems
- A Bregman-style improved ADMM and its linearized version in the nonconvex setting: convergence and rate analyses
- Some notes on the divergence example for multi-block alternating direction method of multipliers
- Convergence of linear Bregman ADMM for nonconvex and nonsmooth problems with nonseparable structure
This page was built for publication: Fuzzy logic and enriched categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5084150)