Pages that link to "Item:Q5937857"
From MaRDI portal
The following pages link to A natural deduction system for first degree entailment (Q5937857):
Displaying 4 items.
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
