Relation To Other Logics
Intutionistic logic is related by duality to a paraconsistent logic known as Brazilian, anti-intuitionistic or dual-intuitionistic logic.
The subsystem of intuitionistic logic with the FALSE axiom removed is known as minimal logic.
Read more about this topic: Intuitionistic Logic
Famous quotes containing the words relation to, relation and/or logics:
“Whoever has a keen eye for profits, is blind in relation to his craft.”
—Sophocles (497–406/5 B.C.)
“You know there are no secrets in America. It’s quite different in England, where people think of a secret as a shared relation between two people.”
—W.H. (Wystan Hugh)
“When logics die,
The secret of the soil grows through the eye,
And blood jumps in the sun;
Above the waste allotments the dawn halts.”
—Dylan Thomas (1914–1953)