Theorem proving for intensional logic

DOI10.1007/BF00881857zbMath1430.68420OpenAlexW1995457855MaRDI QIDQ1891256

Allan Ramsay

Publication date: 22 November 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881857

Mathematics Subject Classification ID

Logic of natural languages (03B65) Knowledge representation (68T30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Generating relevant models
• A theory of properties
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Theorem proving for intensional logic