Brazilian logic en · NOUN
Etymology
Named in reference to Brazilian mathematician Newton da Costa.
Meanings
- (countable, uncountable) A form of paracomplete logic that is the dual of intuitionistic logic.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Brazilian logics | Number=Plur | lexicographic |