Kleene Logic is a three-valued logical system in which truth values are assigned as true, false, or unknown, distinguishing it from classical two-valued logic by incorporating a third truth value to model indeterminacy.
185
Publications
8.2K
Citations
279
Authors
189
Institutions
Publications per year
2017–2026
35
Variants
K3Kleene's Three-valued Logic
Parents
Publications
185
A kripke-kleene semantics for logic programs*
Melvin Fitting · The Journal of Logic Programming · 1985 · 539 citations
Dexter Kozen · ACM Transactions on Programming Languages and Systems · 1997 · 522 citations · Full text
Carolyn Jane Anderson, Nate Foster, Arjun Guha et al. · 2014 · 374 citations
Mei Yuan, Samuel Madden · 2009 · 211 citations · Full text
1–5 of 185
Authors
279
- DK
15
h-index
- GS
6
h-index
- ZÉ
6
h-index
- DP
6
h-index
- BM
5
h-index
1–5 of 279
Institutions
189
Cornell University
Ithaca, United States
14 h-index
29 publications
3.1K citations
Centre National de la Recherche Scientifique
Paris, France
10 h-index
15 publications
473 citations
Université Paris Cité
Paris, France
8 h-index
12 publications
656 citations
Stevens Institute of Technology
Hoboken, United States
5 h-index
9 publications
199 citations
École Normale Supérieure de Lyon
Lyon, France
5 h-index
7 publications
117 citations
Université Claude Bernard Lyon 1
Villeurbanne, France
4 h-index
5 publications
93 citations
Université Toulouse - Jean Jaurès
Toulouse, France
4 h-index
6 publications
246 citations
Institut de Recherche en Informatique de Toulouse
Toulouse, France
4 h-index
6 publications
246 citations
1–8 of 189
Venues
- Journal of Symbolic Logic
8 publications · 267 citations
8
h-index
- Fundamenta Informaticae
8 publications · 353 citations
8
h-index
- Journal of Applied Non-Classical Logics
JANCL · 8 publications · 186 citations
8
h-index
- Information and Computation
6 publications · 858 citations
6
h-index
- Logic and Logical Philosophy
5 publications · 73 citations
5
h-index
1–5