6 found
Sort by:
  1. Thomas W. Scharle (1975). Axiomatization of Fragments of ${\Rm S}5$. Notre Dame Journal of Formal Logic 16 (1):45-70.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. John Thomas Canty & Thomas W. Scharle (1966). Note on the Singularies of $S5$. Notre Dame Journal of Formal Logic 7 (1):108-108.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Thomas W. Scharle (1966). Single Axiom Schemata for $D$ and $S$. Notre Dame Journal of Formal Logic 7 (4):344-348.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Thomas W. Scharle (1965). Axiomatization of Propositional Calculus with Sheffer Functors. Notre Dame Journal of Formal Logic 6 (3):209-217.
  5. Thomas W. Scharle (1962). A Diagram of the Functors of the Two-Valued Propositional Calculus. Notre Dame Journal of Formal Logic 3 (4):243-255.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Thomas W. Scharle (1962). Note to My Paper: ``A Diagram of the Functors of the Two-Valued Propositional Calculus''. Notre Dame Journal of Formal Logic 3 (4):287-288.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation