Login / Signup
Corrigendum to "An order-theoretic analysis of interpretations among propositional deductive systems" [Ann. Pure Appl. Logic 164 (2) (2013) 112-130].
Ciro Russo
Published in:
Ann. Pure Appl. Log. (2016)
Keyphrases
</>
theoretic analysis
artificial neural networks
multi valued
deductive reasoning
object oriented
artificial intelligence
neural network
information systems
management system
computer systems
logic programming
recurrent neural networks
digital circuits
truth maintenance systems