leanTAP revisited

Journal of Logic and Computation

Volumn 8, Issue 1, 1998, Pages 33-47

  Fitting, Melvin ^a,b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Automated theorem proving; leanTAP; Modal logic; Sequent calculus; Tableau

Indexed keywords

MODAL ANALYSIS; PROLOG (PROGRAMMING LANGUAGE); THEOREM PROVING;

AUTOMATED THEOREM PROVING; MODAL LOGIC;

FORMAL LOGIC;

EID: 0032003085     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/8.1.33     Document Type: Article

References (4)

1. B. Beckert and J. Posegga. leanTAP: Lean tableau-based deduction. Journal of Automated Reasoning, 15, 339-358, 1995.
2. B. Beckert and J. Posegga. Logic programming as a basis for lean automated deduction. Journal of Logic Programming. 28, 231-236, 1996.
3. M. C. Fitting. First-Order Logic and Automated Theorem Proving. Springer Verlag, New York, 1990. Second edition, 1996.
4. R. M. Smullyan. First-Order Logic. Springer Verlag, Berlin, 1968. Revised edition, Dover Press, New York, 1994.