Pages that link to "Item:Q1826627"
From MaRDI portal
The following pages link to Poset-valued sets or how to build models for linear logics (Q1826627):
Displaying 8 items.
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- (Q4460846) (← links)
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE (Q5015720) (← links)
- YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC (Q5291334) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473749) (← links)
- Linear domains and linear maps (Q5890060) (← links)
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations (Q6057501) (← links)