The following pages link to (Q3486541):
Displayed 5 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- Is `no' a force-indicator? Yes, sooner or later! (Q2399605) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)
- Rejection: a historico-epistemological view (Q6146291) (← links)