C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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