Implication in three-valued logics of partial information

dc.contributor.author	Britz, K
dc.contributor.editor	Renaud, K.
dc.contributor.editor	Kotze, P.
dc.contributor.editor	Barnard, A.
dc.date.accessioned	2019-05-15T08:50:23Z
dc.date.available	2019-05-15T08:50:23Z
dc.date.issued	2001
dc.identifier.citation	Britz, K. (2001) Implication in three-valued logics of partial information. Hardware, Software and Peopleware: Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists, University of South Africa, Pretoria, 25-28 September 200	en
dc.identifier.isbn	1-86888-195-4
dc.identifier.uri	http://hdl.handle.net/10500/25440
dc.description.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.	en
dc.language.iso	en	en
dc.subject	Paraconsistency	en
dc.subject	Partial information	en
dc.subject	Semantic consequence	en
dc.subject	Three-valued logic	en
dc.title	Implication in three-valued logics of partial information	en
dc.type	Article	en