n South African Computer Journal - Implication in three-valued logics of partial information : research article

Volume 2002, Issue 28
  • ISSN : 1015-7999
  • E-ISSN: 2313-7835


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 of the logic. Their interaction determines to what extent the conditional connective relates to entailment as an implication should. This paper addresses this question for a number of related three-valued logics based on Kleene's strong truth tables, and defines a suitable implication for Partial Logic.

Loading full text...

Full text loading...


Article metrics loading...


This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error