Pages that link to "Item:Q1011758"
From MaRDI portal
The following pages link to Coherence in linear predicate logic (Q1011758):
Displaying 9 items.
- Coherence for modalities (Q531368) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- De Finetti coherence and logical consistency (Q1038651) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Obituary: Kosta Došen (1954--2017) (Q2631641) (← links)
- (Q4027624) (← links)
- (Q4842969) (← links)
- Inferential Semantics (Q5213609) (← links)