A simplified form of condensed detachment

DOI10.1007/BF01048619zbMath0837.03010OpenAlexW2032880497MaRDI QIDQ1903086

Martin W. Bunder

Publication date: 13 May 1996

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

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

zbMATH Keywords

unificationcondensed detachment

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (2)

A (machine-oriented) logic based on pattern matching ⋮ Learning from Łukasiewicz and Meredith: investigations into proof structures

Cites Work

• Principal type-schemes and condensed detachment
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item

This page was built for publication: A simplified form of condensed detachment