Plural Ancestral Logic as the Logic of Arithmetic.

Oliver Tatton-Brown

Published in: Rev. Symb. Log. (2024)

Keyphrases

multi valued
social networks
logic programming
defeasible logic
real time
real world
machine learning
learning algorithm
modal logic
floating point
logical framework
set theory
nonmonotonic logics
epistemic logic