Pages that link to "Item:Q1309039"
From MaRDI portal
The following pages link to Admissibility of logical inference rules (Q1309039):
Displaying 10 items.
- Explicit basis for admissible rules in \(K\)-saturated tabular logics (Q6043885) (← links)
- The algebraic significance of weak excluded middle laws (Q6094135) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- Conservative translations revisited (Q6156208) (← links)
- Admissible inference rules of modal WCP-logics (Q6193927) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)
- About the unification types of modal logics (Q6612813) (← links)
- Universal proof theory: feasible admissibility in intuitionistic modal logics (Q6652040) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)
- Basis of globally admissible rules for logic S4 (Q6663881) (← links)
