Pages that link to "Item:Q3508162"
From MaRDI portal
The following pages link to Independent Bases of Admissible Rules (Q3508162):
Displaying 10 items.
- On rules (Q266650) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Admissibility in positive logics (Q1689558) (← links)
- On the proof complexity of logics of bounded branching (Q2084964) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
