The logic of proofs, semantically

By M. Fitting. Annals of Pure and Applied Logic, 2005

303 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/120569839e7c681081c6fa986167ff7e570e2cfd