5 found
Sort by:
  1. R. Montague & R. H. Thomason (1996). The Semantic Conception of Truth and the Foundations of Semantics. In Heimir Geirsson & Michael Losonsky (eds.), Readings in Language and Mind. Blackwell Publishers. 36.
    No categories
     
    My bibliography  
     
    Export citation  
  2. J. F. Horty, R. H. Thomason & D. S. Touretzky (1990). A Sceptical Theory of Inheritance in Nonmonotonic Semantic Networks. Artificial Intelligence 42:311-348.
    inheritance reasoning in semantic networks allowing for multiple inheritance with exceptions. The approach leads to a definition of iaheritance that is..
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. R. H. Thomason (1972). A Semantic Theory of Sortal Incorrectness. Journal of Philosophical Logic 1 (2):209 - 258.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. R. H. Thomason & H. LeBlanc (1967). All or None: A Novel Choice of Primitives for Elementary Logic. Journal of Symbolic Logic 32 (3):345-351.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. N. D. Belnap, H. Leblanc & R. H. Thomason (1963). On Not Strengthening Intuitionistic Logic. Notre Dame Journal of Formal Logic 4 (4):313-320.
    tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation