The story
Named in reference to Brazilian mathematician Newton da Costa.
Etymology from Wiktionary, CC BY-SA 4.0.
Brazilian logic
Today it means: A form of paracomplete logic that is the dual of intuitionistic logic. Full definition →
Today it means: A form of paracomplete logic that is the dual of intuitionistic logic. Full definition →
Named in reference to Brazilian mathematician Newton da Costa.
Etymology from Wiktionary, CC BY-SA 4.0.