Pages that link to "Item:Q2987742"
From MaRDI portal
The following pages link to A meta-logic of inference rules: Syntax (Q2987742):
Displaying 5 items.
- Paraconsistency in classical logic (Q2219139) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- Rejection in Łukasiewicz’s and Słupecki’s Sense (Q4611693) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
- Unified deductive systems: an outline (Q6146292) (← links)
