CMU Artificial Intelligence Repository
FT: Theorem Prover for Intuitionistic Predicate Logic
areas/reasonng/atp/systems/ft/
This directory contains FT, a theorem prover for intuitionistic
predicate logic.
Origin:
sics.se
Version: C 1.23 (27-JAN-92); Prolog 1.0 (29-MAR-89)
Requires: C, Prolog
Ports: The Prolog version runs in SICStus (of course) and
Quintus Prologs.
Copying: Use and modification permitted.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Contact: Torkel Franzen
SICS
Box 1263
S-164 28 Kista
Sweden
Keywords:
Authors!Franzen, Authors!Haridi, Authors!Sahlin,
Automated Reasoning, FT, Intuitionistic Predicate Logic,
Reasoning!Automated Reasoning, SICS, Theorem Proving
References:
Sahlin, Franzen, and Haridi, "An Intuitionistic Predicate Logic
Theorem Prover", SICS report. Journal of Logic and Computation.
Last Web update on Mon Feb 13 10:27:30 1995
AI.Repository@cs.cmu.edu