Logical and Physical Reversibility of Conservative Skyrmion Logic.
Xuan HuBenjamin W. WalkerFelipe García-SánchezAlexander J. EdwardsPeng ZhouJean Anne C. IncorviaAlexandru PalerMichael P. FrankJoseph S. FriedmanPublished in: CoRR (2022)
Keyphrases
- logical operations
- probabilistic logic
- logical representation
- predicate calculus
- logical rules
- logical framework
- truth values
- dynamic logic
- modal logic
- classical logic
- markov chain
- inconsistent knowledge
- logical theories
- abductive reasoning
- predicate logic
- physical world
- logic programming
- multi valued
- formal theory
- probabilistic knowledge
- proof theory
- neural network
- lambda calculus
- model theoretic
- inference rules
- logical properties
- logical reasoning
- website
- artificial intelligence
- data sets