Search results for 'Lawrence C. Paulson' (try it on Scholar)

6 found
Sort by:
  1. Lawrence C. Paulson (1987). Logic and Computation: Interactive Proof with Cambridge Lcf. Cambridge University Press.score: 870.0
    Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Christoph Benzmüller & Lawrence C. Paulson (2013). Quantified Multimodal Logics in Simple Type Theory. Logica Universalis 7 (1):7-20.score: 870.0
    We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Stanley L. Paulson (1996). Gustav Radbruch, GESAMTAUSGABE (or "Collected Works"). Arthur Kaufmann, General Editor. Heidelberg: C. E M�Ller Verlag. 1987-to Date: 11 Volumes. [REVIEW] Ratio Juris 9 (3):300-303.score: 360.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. S. L. Paulson (1984). RECHTSPHILOSOPHIE. By Reinhold Zippelius. Munich: Verlag C.H. Beck, 1982. American Journal of Jurisprudence 29 (1):213-216.score: 360.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Wendell W. Weber (1985). Toxic Compounds: From Metabolism Studies to Prediction. Foregin Compound Metabolism. Edited by J. CALDWELL and P. C. PAULSON. Taylor and Francis, 1984. Pp. 328. £32. [REVIEW] Bioessays 2 (6):282-283.score: 140.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. C. Heidemann (1999). Review Article. Norms, Facts, and Judgments. A Reply to S. L. Paulson. Oxford Journal of Legal Studies 19 (2):345-350.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation