{"type":"ScholarlyArticle","title":"Commenting Proofs","authors":[{"name":"James R. Geiser","slug":"james-r-geiser","given":"James R.","family":"Geiser","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1975/6","pdf":"https://ijcai.org/proceedings/1975/0006.pdf","markdown":"https://ijcai.org/proceedings/1975/6.md","bibtex":"https://ijcai.org/proceedings/1975/bibtex/6","volume":{"slug":"1975","title":"Proceedings of the Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1975","url":"https://ijcai.org/proceedings/1975/","year":1975,"location":"Tbilisi, Georgia, USSR","dates":"","editors":"Patrick Winston and Carl Hewitt","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Mathematical and Theoretical Aspects of A.I","track":"Mathematical and Theoretical Aspects of A.I","number":6,"pages":{"first":34,"last":38},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}