Pages that link to "Item:Q606997"

The following pages link to Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997):

Displayed 4 items.

• On rules (Q266650) ‎ (← links)
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) ‎ (← links)
• Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) ‎ (← links)
• Tutorial on Admissible Rules in Gudauri (Q3455180) ‎ (← links)