A Cut-Free Gentzen Formulation of Basic Propositional Calculus.

Kentaro Kikuchi Katsumi Sasaki

Published in: J. Log. Lang. Inf. (2003)

Keyphrases

propositional calculus
neural network
quadratic programming
real time
genetic algorithm
objective function
temporal logic
convex optimization
set theoretic