Pages that link to "Item:Q2735691"
From MaRDI portal
The following pages link to Logics of rejection: Two systems of natural deduction (Q2735691):
Displaying 7 items.
- On the logic of acceptance and rejection (Q1577347) (← links)
- Paraconsistency in classical logic (Q2219139) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- Deductive systems with unified multiple-conclusion rules (Q5061418) (← links)
- A natural deduction system for first degree entailment (Q5937857) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- A hybrid calculus for the validities and invalidities of classical propositional logic (Q6655119) (← links)