Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Paraconsistency"

Browsing College of Science, Engineering and Technology by Subject "Paraconsistency"

Sort by: Order: Results:

  • Implication in three-valued logics of partial information 
    Britz, K (2001)
    In formal logic, both semantic entailment and the conditional connective are used to formalize the intuitive notion of implication. The former is defined in the meta-language of the logic, and the latter in the language ...

Search UnisaIR


Browse

My Account