Pages that link to "Item:Q4295249"
From MaRDI portal
The following pages link to TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION (Q4295249):
Displaying 5 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- A Topos-Theoretic Approach to Counterfactual Logic (Q5170289) (← links)
- (Q5365498) (← links)
- N‐Categories in Logic (Q5903593) (← links)