Pages that link to "Item:Q830390"
From MaRDI portal
The following pages link to Inferences and metainferences in \(\mathsf{ST}\) (Q830390):
Displaying 11 items.
- The logics of strict-tolerant logic (Q253131) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Representation results for non-cumulative logics (Q2148843) (← links)
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- The final cut (Q2679590) (← links)
- The laws of thought and the laws of truth as two sides of one coin (Q2686096) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- Inferential constants (Q6156204) (← links)
- Sequent calculi for first-order ST (Q6623815) (← links)
- Relevant consequence relations: an invitation (Q6638234) (← links)
- \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum (Q6655118) (← links)