Substitution Frege and extended Frege proof systems in non-classical logics.

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

learning systems
neural network
distributed systems
computer systems
theorem proving
genetic algorithm
website
management system
building blocks
complex systems