|
Brazilian logic - Wikipedia, the free encyclopedia (183 words) |
 | Brazilian logic is the dual of intuitionistic logic, where you drop the law of excluded middle (i.e. |
| Intuitionistic logic is modeled by open sets in a topological space: and stands for intersection, or for union, and not for the interior of the complement. |
| In intuitionistic logic a slight gap (at the boundary) between A and ¬A is allowed, whereas in Brazilian logic a slight overlap is allowed. |
| Logic (1513 words) |
| Linear temporal logic (LTL) is a subset of... |
| Intuitionistic logic Intuitionistic logic, or constructivist logic, is the mathematical constructivism. |
| Provability logic Provability logic, or the logic of provability, is a George Boolos. |
Feeds |
Contact