Pages that link to "Item:Q839831"
From MaRDI portal
The following pages link to Implementing constructive intensional negation (Q839831):
Displaying 7 items.
- Negation and affirmation: the role of involutive negators (Q877776) (← links)
- On the structure of involutive, contracting and expanding negations (Q1414763) (← links)
- Notes on constructive negation (Q2500818) (← links)
- (Q4532132) (← links)
- Functional and Logic Programming (Q5308011) (← links)
- Logic Programming (Q5313191) (← links)
- Logics in Artificial Intelligence (Q5394131) (← links)