Semi De Morgan Logic Properly Displayed.

Giuseppe Greco Fei Liang M. Andrew Moshier Alessandra Palmigiano

Published in: Stud Logica (2021)

Keyphrases

logic programming
modal logic
neural network
asynchronous circuits
predicate logic
automated reasoning
genetic algorithm
proof theory
classical logic
multi valued
artificial neural networks
abductive reasoning
natural language
similarity measure
sequent calculus
delay insensitive
linear temporal logic