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: Bochvar three-valued logic | Statement: [Kleene strong three-valued logic, relatedLogic, Bochvar three-valued logic]

Target entity: Bochvar three-valued logic
Context triple: [Kleene strong three-valued logic, relatedLogic, Bochvar three-valued logic]

• A. 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.
• B. 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.
• C. 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.
• D. Łukasiewicz
  Łukasiewicz is a Polish surname most famously associated with Ignacy Łukasiewicz, a pioneering pharmacist and oil industry innovator credited with inventing the modern kerosene lamp.
• E. Leibnizian logic
  Leibnizian logic is the rationalist, formal approach to logic and calculation developed by Gottfried Wilhelm Leibniz, emphasizing symbolic representation, logical calculus, and the reduction of mathematical and philosophical reasoning to precise logical principles.
• 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: Bochvar three-valued logic
Triple: [Kleene strong three-valued logic, relatedLogic, Bochvar three-valued logic]

Bochvar three-valued logic is a paraconsistent logical system that introduces a third truth value to handle semantic paradoxes and meaningless statements by preventing them from yielding classical logical consequences.

Target entity: Bochvar three-valued logic
Target entity description: Bochvar three-valued logic is a paraconsistent logical system that introduces a third truth value to handle semantic paradoxes and meaningless statements by preventing them from yielding classical logical consequences.

• A. 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.
• B. 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.
• C. 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.
• D. Łukasiewicz
  Łukasiewicz is a Polish surname most famously associated with Ignacy Łukasiewicz, a pioneering pharmacist and oil industry innovator credited with inventing the modern kerosene lamp.
• E. Leibnizian logic
  Leibnizian logic is the rationalist, formal approach to logic and calculation developed by Gottfried Wilhelm Leibniz, emphasizing symbolic representation, logical calculus, and the reduction of mathematical and philosophical reasoning to precise logical principles.
• F. None of above. chosen