Pages that link to "Item:Q431663"

The following pages link to Bases of admissible rules for \(K\)-saturated logics (Q431663):

Displaying 2 items.

• Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
• An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)