Pages that link to "Item:Q431663"
From MaRDI portal
The following pages link to Bases of admissible rules for \(K\)-saturated logics (Q431663):
Displaying 9 items.
- Table admissible inference rules (Q431693) (← links)
- Independent bases for admissible rules of pretabular modal logic and its extensions (Q890977) (← links)
- Bases of admissible inference rules in tabular modal logics of depth 2 (Q2709317) (← links)
- Bases of Admissible Rules of Lukasiewicz Logic (Q3069724) (← links)
- Independent bases for rules admissible in pretabular logics (Q4237681) (← links)
- (Q4376052) (← links)
- (Q4487248) (← links)
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)