Consistent Ultrafinitist Logic.

Michal J. Gajda

Published in: TYPES (2023)

Keyphrases

multi valued
modal logic
neural network
logical framework
asynchronous circuits
real time
predicate logic
classical logic
probability theory
similarity measure
case study
information retrieval
data mining
automated reasoning
decision trees
set theory
digital circuits
formal language
epistemic logic