The following pages link to (Q4903913):
Displaying 3 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation (Q5176671) (← links)