The following pages link to (Q4532132):
Displaying 10 items.
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- The logic of information structures (Q1310268) (← links)
- On the structure of involutive, contracting and expanding negations (Q1414763) (← links)
- A semantics for conditionals with default negation (Q2401876) (← links)
- Description logics with contraries, contradictories, and subcontraries (Q2478592) (← links)
- Notes on constructive negation (Q2500818) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- (Q4012256) (← links)
- (Q5100007) (← links)
