The following pages link to The semantics of entailment. III (Q1221740):
Displaying 3 items.
- Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions) (Q5458062) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS (Q6188338) (← links)