Commenting Proofs
Abstract
The goal of this investigation is the development of a semantics for 1 order theories based on certain new syntactic structures in formal proofs which derive from their pragmatic and semantic aspects. The present report is mainly concerned with these new syntactic structures, the motivation behind them, their technical definition and their basic properties. Their role in a new semantics for Intuitiomistc Peano Arithmetic is indicated in the last section.
Cite
Text
Geiser. "Commenting Proofs." International Joint Conference on Artificial Intelligence, 1975.Markdown
[Geiser. "Commenting Proofs." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/geiser1975ijcai-commenting/)BibTeX
@inproceedings{geiser1975ijcai-commenting,
title = {{Commenting Proofs}},
author = {Geiser, James R.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1975},
pages = {34-39},
url = {https://mlanthology.org/ijcai/1975/geiser1975ijcai-commenting/}
}