Semantics of logic

Results: 1541



#Item
1Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2015-12-16 14:53:21
2Why? Julian J. Schl¨oder: , Ellen Breitholtz; and Raquel Fern´andez: : Institute for Logic, Language and Computation University of Amsterdam ;

Why? Julian J. Schl¨oder: , Ellen Breitholtz; and Raquel Fern´andez: : Institute for Logic, Language and Computation University of Amsterdam ;

Add to Reading List

Source URL: semantics.rutgers.edu

Language: English - Date: 2016-06-29 17:05:28
    3An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

    An Executable Rewriting Logic Semantics of K-Scheme ∗ Patrick Meredith Mark Hills Grigore Ros¸u

    Add to Reading List

    Source URL: repository.readscheme.org

    Language: English - Date: 2012-08-10 19:21:18
      4Some Notes on Intuitionistic Logic and Dialogue Semantics by Thomas Piecha University of Belgrade

      Some Notes on Intuitionistic Logic and Dialogue Semantics by Thomas Piecha University of Belgrade

      Add to Reading List

      Source URL: ls.informatik.uni-tuebingen.de

      Language: English - Date: 2018-05-08 04:48:28
        5Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

        Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA

        Add to Reading List

        Source URL: boole.stanford.edu

        Language: English - Date: 2005-01-09 13:06:44
          6COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified with quantum infor

          COMPOSITIONAL AND HOLISTIC QUANTUM COMPUTATIONAL SEMANTICS MARIA LUISA DALLA CHIARA, ROBERTO GIUNTINI, AND ROBERTO LEPORINI Abstract. In quantum computational logic meanings of sentences are identified with quantum infor

          Add to Reading List

          Source URL: www.iub.edu

          - Date: 2009-04-04 22:10:32
            7An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

            An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC Xiaowang Zhang1,2 , Zhihu Zhang1 and Zuoquan Lin1 1 School of Mathematical Sciences, Peking University, Bejing, China

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2009-07-07 04:46:34
              8Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

              Static Contract Checking via First-Order Logic Nathan Collins? Portland State University Abstract. We enrich the static semantics of Haskell in order to give stronger static guarantees about the input/output behavior of

              Add to Reading List

              Source URL: web.cecs.pdx.edu

              - Date: 2014-01-24 04:02:53
                9Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

                Introduction Semantics of Modeling Languages and Transformations The Rewriting Logic Semantics Project Case Study: Multi-Rate PALS and AADL Why Formal Modeling Language Semantics

                Add to Reading List

                Source URL: models2014.webs.upv.es

                - Date: 2014-10-29 20:38:03
                  10A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

                  A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  Language: English - Date: 2001-06-27 15:19:02