Intuitionistic Logic - Relation To Other Logics

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:

    The difference between objective and subjective extension is one of relation to a context solely.
    William James (1842–1910)

    There is a certain standard of grace and beauty which consists in a certain relation between our nature, such as it is, weak or strong, and the thing which pleases us. Whatever is formed according to this standard pleases us, be it house, song, discourse, verse, prose, woman, birds, rivers, trees, room, dress, and so on. Whatever is not made according to this standard displeases those who have good taste.
    Blaise Pascal (1623–1662)

    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)