Brazilian logic
nounEtymology
Named in reference to Brazilian mathematician Newton da Costa.
Definitions
A form of paracomplete logic that is the dual of intuitionistic logic.
The neighborhood
Vish — recursive loop
No curated loop yet for Brazilian logic. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA