---
title: "A Mechanized Proof Procedure for Free Intensional Logics"
authors:
  - "Raymond D. Gumb"
doi: ""
url: "https://ijcai.org/proceedings/1977/129"
pdf: "https://ijcai.org/proceedings/1977/0129.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "567-567"
track: "Theorem Proving"
keywords:
---

# A Mechanized Proof Procedure for Free Intensional Logics

Raymond D. Gumb

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 567-567.

## Abstract