The following pages link to (Q4728290):
Displaying 8 items.
- On recursive axioms in deductive databases (Q1062477) (← links)
- Definable deduction relation (Q1283085) (← links)
- Normal forms for binary relations (Q2503327) (← links)
- (Q2723894) (← links)
- (Q3345814) (← links)
- (Q3680315) (← links)
- (Q4036174) (← links)
- A formal, diagrammatic, and operational study of normative relations (Q6162117) (← links)