Reversible Bond Logic.

Hannah Amelie Earley

Published in: DNA (2023)

Keyphrases

classical logic
logic programming
predicate logic
modal logic
markov chain
cellular automata
computational properties
epistemic logic
sound and complete axiomatization
real world
case study
inference rules
truth values
deontic logic
natural deduction