1887

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

USD

 

Abstract

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

Article metrics loading...

/content/comp/2002/28/EJC27921
2002-06-01
2016-12-08
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