Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Kleene strong three-valued logic | Statement: [Kripke fixed-point theory of truth, oftenFormalizedWith, Kleene strong three-valued logic]

Target entity: Kleene strong three-valued logic
Context triple: [Kripke fixed-point theory of truth, oftenFormalizedWith, Kleene strong three-valued logic]

• A. The Logic of Computer Programming
  The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
• B. Kripke fixed-point theory of truth
  The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.
• C. Logical Methods in Computer Science
  Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
• D. Semantical Considerations on Modal Logic
  Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
• E. Introduction to Logical Theory
  Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Kleene strong three-valued logic
Triple: [Kripke fixed-point theory of truth, oftenFormalizedWith, Kleene strong three-valued logic]

Kleene strong three-valued logic is a non-classical logical system that extends classical logic with a third truth value to rigorously handle indeterminate or partially defined statements.

Target entity: Kleene strong three-valued logic
Target entity description: Kleene strong three-valued logic is a non-classical logical system that extends classical logic with a third truth value to rigorously handle indeterminate or partially defined statements.

• A. The Logic of Computer Programming
  The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
• B. Kripke fixed-point theory of truth
  The Kripke fixed-point theory of truth is a semantic framework developed by Saul Kripke that uses partial truth predicates and fixed points to consistently handle self-referential sentences and semantic paradoxes like the liar paradox.
• C. Logical Methods in Computer Science
  Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
• D. Semantical Considerations on Modal Logic
  Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
• E. Introduction to Logical Theory
  Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
• F. None of above. chosen

Target predicate: oftenFormalizedWith
Context triple: [Kripke fixed-point theory of truth, oftenFormalizedWith, Kleene strong three-valued logic]

• A. formalizedUnder
  Indicates that something has been officially established, defined, or codified within the framework, authority, or provisions of a particular formal system, agreement, or institution.
• B. isFormalizedBy
  Indicates that something is given a defined, structured, or official form through a specific method, process, or representation.
• C. formalizedAt
  Indicates the point in time or event at which something is officially established, documented, or given formal status.
• D. formalismType chosen
  Indicates the specific formal system or representational framework in which something (such as a theory, model, or specification) is expressed.
• E. oftenFormulatedOn
  Indicates that something (such as a statement, plan, or decision) is frequently based on, derived from, or constructed using another thing as its foundation or starting point.
• F. None of above.