Similar Items: Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- A Fibrational Perspective on Differential Linear Logic
- Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
- Neural networks as fuzzy logic formulas
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]