Reflection algebras and conservation results for theories of iterated truth.

Lev D. Beklemishev Fedor Pakhomov

Published in: Ann. Pure Appl. Log. (2022)

Keyphrases

spatial reasoning
theoretical framework
clifford algebra
machine learning
multimedia
website
multiscale
temporal reasoning
truth values
design theory
causal reasoning
defeasible logic
cognitive psychology
domain theory
real time
artificial intelligence
data mining
data sets