Login / Signup
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction.
Dan E. Willard
Published in:
J. Log. Comput. (2021)
Keyphrases
</>
line segments
description logics
object boundaries
data sets
natural language
domain specific
theorem proving
semantic analysis
automated theorem proving
high level
domain ontology
incomplete information
semantic similarity
proof procedure
convergence theorem