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 9 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Natural deduction for paraconsistent logic (Q2746598) (← links)
- Natural deduction based set theories: a new resolution of the old paradoxes (Q3030824) (← links)
- Transfer theorems for extensions of the paraconsistent Nelson logic (Q5294718) (← links)
- (Q5869518) (← links)
- Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic (Q6067745) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)