Pages that link to "Item:Q2901202"
From MaRDI portal
The following pages link to Judgment and consequence relations (Q2901202):
Displaying 5 items.
- Consequence mining. Constants versus consequence relations (Q692175) (← links)
- A system for proper multiple-conclusion entailment (Q2987737) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)