Pages that link to "Item:Q3647236"
From MaRDI portal
The following pages link to Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236):
Displaying 3 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)