An Extension of Connexive Logic C.

Hitoshi Omori Heinrich Wansing

Published in: AiML (2020)

Keyphrases

modal logic
classical logic
proof theoretic
logic programming
multi valued
asynchronous circuits
neural network
automated reasoning
multiscale
expert systems
evolutionary algorithm
computational properties
truth values
abductive reasoning