The following pages link to (Q3201035):
Displaying 16 items.
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Relations in monadic third-order logic (Q1372940) (← links)
- Relational Complexity and Higher Order Logics (Q2807086) (← links)
- (Q3081829) (← links)
- RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS (Q3550705) (← links)
- (Q3819123) (← links)
- (Q4207888) (← links)
- Distributed Relation Logic (Q4683211) (← links)
- NOTIONAL LOGIC OF SYSTEMS (Q4781419) (← links)
- (Q4789156) (← links)
- The Relationlog system prototype (Q4791100) (← links)
- (Q4881682) (← links)
- Relational Logics and Their Applications (Q5302024) (← links)
- (Q5491513) (← links)
- (Q5717094) (← links)
- LOGICS FOR THE RELATIONAL SYLLOGISTIC (Q5850983) (← links)