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’s strong logic of indeterminacy | Statement: [Kleene strong three-valued logic, alsoKnownAs, Kleene’s strong logic of indeterminacy]

Target entity: Kleene’s strong logic of indeterminacy
Context triple: [Kleene strong three-valued logic, alsoKnownAs, Kleene’s strong logic of indeterminacy]

• A. Kleene strong three-valued logic chosen
  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.
• 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. On the Theory of Logic
  On the Theory of Logic is a philosophical work by Carveth Read that systematically examines the principles and methods of logical reasoning.
• D. An Introduction to Non-Classical Logic
  An Introduction to Non-Classical Logic is a widely used textbook by philosopher Graham Priest that systematically presents and explains a range of logics beyond classical logic, including many-valued, paraconsistent, modal, and intuitionistic systems.
• E. 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.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.