A Note on the Unprovability of Consistency in Formal Theories of Truth.

Published in: J. Philos. Log. (2021)

Keyphrases

formal models
ontological engineering
formal model
global consistency
data sets
artificial intelligence
website
bayesian networks
data model
knowledge management
theoretical framework
formal methods
cognitive psychology
consistency checking
design theory
maintaining consistency