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:

    A theory of the middle class: that it is not to be determined by its financial situation but rather by its relation to government. That is, one could shade down from an actual ruling or governing class to a class hopelessly out of relation to government, thinking of gov’t as beyond its control, of itself as wholly controlled by gov’t. Somewhere in between and in gradations is the group that has the sense that gov’t exists for it, and shapes its consciousness accordingly.
    Lionel Trilling (1905–1975)

    ... a worker was seldom so much annoyed by what he got as by what he got in relation to his fellow workers.
    Mary Barnett Gilson (1877–?)

    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)