Search results for 'Frederic D. Portoraro' (try it on Scholar)

Did you mean: Frederic D. Portray
  1. Frederic D. Portoraro (1998). Strategic Construction of Fitch-Style Proofs. Studia Logica 60 (1):45-66.score: 870.0
    Symlog is a system for learning symbolic logic by computer that allows students to interactively construct proofs in Fitch-style natural deduction. On request, Symlog can provide guidance and advice to help a student narrow the gap between goal theorem and premises. To effectively implement this capability, the program was equipped with a theorem prover that constructs proofs using the same methods and techniques the students are being taught. This paper discusses some of the aspects of the theorem prover's design, including (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. F. D. Portoraro (1998). Wilfried Sieg. Studia Logica 60:67-106.score: 240.0
    Direct download  
     
    My bibliography  
     
    Export citation