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):

Displaying 3 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)