Experiments in automated deduction with condensed detachment

This publication has 8 references indexed in Scilit:

• Automated Reasoning and Bledsoe’s Dream for the Field
  Published by Springer Nature ,1991
• Meeting the challenge of fifty years of logic
  Journal of Automated Reasoning, 1990
• A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains
  Artificial Intelligence, 1984
• Condensed detachment as a rule of inference
  Studia Logica, 1983
• A shortest single axiom for the classical equivalential calculus.
  Notre Dame Journal of Formal Logic, 1978
• In memoriam: Carew Arthur Meredith (1904--1976).
  Notre Dame Journal of Formal Logic, 1977
• Shortest single axioms for the classical equivalential calculus.
  Notre Dame Journal of Formal Logic, 1976
• Equational logic.
  Notre Dame Journal of Formal Logic, 1968