Finding shortest proofs: An application of linked inference rules

Journal of Automated Reasoning

Volumn 27, Issue 2, 2001, Pages 123-139

  Veroff, Robert ^a  

^a UNIVERSITY OF NEW MEXICO   (United States)

Author keywords

Condensed detachment; Linked UR resolution; Shortest proofs

Indexed keywords

MAPPING; REDUNDANCY; THEOREM PROVING;

HYPERRESOLUTIONS;

FORMAL LOGIC;

EID: 0035423387     PISSN: 01687433     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1010635625063     Document Type: Article

References (6)

1. A single axiom of positive logic
2. New single axioms for positive implication
3. The linked inference principle, I: The formal treatment
4. The linked inference principle, II: The user's viewpoint