Consistent ultrafinitist logic.

Michal J. Gajda

Published in: CoRR (2021)

Keyphrases

logic programming
classical logic
database systems
nonmonotonic logics
predicate logic
asynchronous circuits
proof theory
data sets
data model
modal logic
multi valued
logical framework
digital circuits
natural deduction