Kleene's Logic, Generalized

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

Melvin Fitting

Found an issue? Give us feedback

zbMATH Openarrow_drop_down

zbMATH Open

Article

Data sources: zbMATH Open

Journal of Logic and Computation

Article . 1991 . Peer-reviewed

Data sources: Crossref

DBLP

Article

Data sources: DBLP

https://dx.doi.org/10.1093/log...

Article

Data sources: Microsoft Academic Graph

Kleene's Logic, Generalized

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,

Copyright policy )

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!

	selected citations These citations are derived from selected sources. 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).	107
	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