---
title: "Commenting Proofs"
authors:
  - "James R. Geiser"
doi: ""
url: "https://ijcai.org/proceedings/1975/6"
pdf: "https://ijcai.org/proceedings/1975/0006.pdf"
venue: "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"
year: 1975
pages: "34-38"
track: "Mathematical and Theoretical Aspects of A.I"
keywords:
---

# Commenting Proofs

James R. Geiser

*Proceedings of the Fourth International Joint Conference on Artificial Intelligence*, 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.