Institutional Repository

Browsing 2001 National Research and Development Conference by Author "Britz, K"

Browsing 2001 National Research and Development Conference by Author "Britz, K"

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