Encodings of Turing machines in linear logic.

James Clift Daniel Murfet

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

linear logic
turing machine
fixed point
logical framework
logic programming
cut elimination
proof theoretic
desirable properties
sequent calculus
intuitionistic logic
sat encodings
proof search
non binary
inference rules
object oriented
probabilistic model
relational databases
pairwise