The following pages link to (Q4501600):
Displaying 7 items.
- On the decidability of open logic (Q848254) (← links)
- The linked inference principle. I: The formal treatment (Q1189727) (← links)
- Generalized logical consequence: Making room for induction in the logic of science (Q1610619) (← links)
- Design principles for inductive inference procedures (Q2371720) (← links)
- (Q3086723) (← links)
- Formalised Inductive Reasoning in the Logic of Bunched Implications (Q3611996) (← links)
- Advances in Artificial Intelligence (Q5463846) (← links)