Commenting Proofs

Geiser, James R.

Commenting Proofs

Download BibTeX Cite

Proceedings of the Fourth International Joint Conference on Artificial Intelligence. Mathematical and Theoretical Aspects of A.I. Pages 34-38.

Abstract

The goal of this investigation is the development of a semantics for 1st 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 Intuitionistc Peano Arithmetic is indicated in the last section.

James R. Geiser. 1975. Commenting Proofs. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75. IJCAI, 34–38. https://ijcai.org/proceedings/1975/6

@inproceedings{ijcai1975p6,
  title     = {Commenting Proofs},
  author    = {Geiser, James R.},
  booktitle = {Proceedings of the Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-75}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Patrick Winston and Carl Hewitt},
  pages     = {34--38},
  year      = {1975},
  note      = {Mathematical and Theoretical Aspects of A.I},
  url       = {https://ijcai.org/proceedings/1975/6},
}

TY  - CPAPER
TI  - Commenting Proofs
AU  - Geiser, James R.
T2  - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1975
SP  - 34
EP  - 38
UR  - https://ijcai.org/proceedings/1975/6
ER  -