411 REFERENCE · Wiktionary
Brazilian logic
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named in reference to Brazilian mathematician Newton da Costa.
Noun
~
en logic A form of paracomplete logic that is the dual of intuitionistic logic.