Name: Kleene's Logic, Generalized
Creator: Melvin Fitting
Keywords: Kleene's strong three-valued logic, fixed point semantics, Many-valued logic, bilattices, 0202 electrical engineering, electronic engineering, information engineering, 06 humanities and the arts, 02 engineering and technology, 0603 philosophy, ethics and religion, Logic programming, family of multiple-valued logics

Kleene's logic, generalized

descriptionPublicationkeyboard_double_arrow_right Article 01 Jan 1991 English Publisher:Oxford University Press (OUP)Journal:Journal of Logic and Computation, volume 1, pages 797-810 (issn: 0955-792X, eissn: 1465-363X,

Authors: Melvin Fitting;

doi: 10.1093/logcom/1.6.797

Kleene's Logic, Generalized

- Summary
- Subjects
- Metrics

Abstract

Summary: Kleene's well-known strong three-valued logic is shown to be one of a family of logics with similar mathematical properties. These logics are produced by an intuitively natural construction. The resulting logics have direct relationships with bilattices. In additon they possess mathematical features that lend themselves well to semantical constructions based on fixpoint procedures, as in logic programming.

Related Organizations

City University of New York
United States

Keywords

Kleene's strong three-valued logic, fixed point semantics, Many-valued logic, bilattices, Logic programming, family of multiple-valued logics, Logical aspects of lattices and related structures

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	125
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average