Mathematical logic

Results: 6679



#Item
1Elements of Mathematical Logic Michael Meyling May 24, 2013 2

Elements of Mathematical Logic Michael Meyling May 24, 2013 2

Add to Reading List

Source URL: www.qedeq.org

Language: English - Date: 2013-05-24 16:15:42
    2INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute

    INL (instantial neighborhood logic) - tableau, sequent calculus, interpolation Junhua Yu () Tsinghua University (Beijing, China @ Steklov Mathematical Institute

    Add to Reading List

    Source URL: wrm17.mi.ras.ru

    Language: English - Date: 2017-10-24 13:14:13
      3List of Publications Ofer Arieli Books 1. A.Avron, O.Arieli. A.Zamansky. Theory of Effective Propositional Paraconsistent Logics. Studies in Logic, volume 75 (sub-series: Mathematical Logic and Foundations), College Publ

      List of Publications Ofer Arieli Books 1. A.Avron, O.Arieli. A.Zamansky. Theory of Effective Propositional Paraconsistent Logics. Studies in Logic, volume 75 (sub-series: Mathematical Logic and Foundations), College Publ

      Add to Reading List

      Source URL: www2.mta.ac.il

      Language: English - Date: 2018-07-07 06:23:16
        4DraftNot to be quoted or cited without permission.  Evidence and the hierarchy of mathematical theories Charles Parsons It is a well-known fact of mathematical logic, by now developed in considerable detail, t

        DraftNot to be quoted or cited without permission. Evidence and the hierarchy of mathematical theories Charles Parsons It is a well-known fact of mathematical logic, by now developed in considerable detail, t

        Add to Reading List

        Source URL: logic.harvard.edu

        Language: English - Date: 2011-10-20 19:41:23
          5Title : The Cultural Red King Effect Published in : The Journal of Mathematical Sociology Author : Cailin O’Connor Address : Department of Logic and Philosophy of Science, University of California, Irvine, 3151 Social

          Title : The Cultural Red King Effect Published in : The Journal of Mathematical Sociology Author : Cailin O’Connor Address : Department of Logic and Philosophy of Science, University of California, Irvine, 3151 Social

          Add to Reading List

          Source URL: cailinoconnor.com

          Language: English - Date: 2017-06-01 13:25:51
            6Roland Poellinger, Munich Center for Mathematical Philosophy, LMU Munich Variable Entanglement in Bayes Net Causal Models Abstract: In many cases of causal reasoning non-causal, non-directional knowledge is drawn on and

            Roland Poellinger, Munich Center for Mathematical Philosophy, LMU Munich Variable Entanglement in Bayes Net Causal Models Abstract: In many cases of causal reasoning non-causal, non-directional knowledge is drawn on and

            Add to Reading List

            Source URL: logic.rforge.com

            Language: English - Date: 2017-02-01 05:29:01
              7c Copyright 
1998–2013 by Stephen G. Simpson Mathematical Logic

              c Copyright 1998–2013 by Stephen G. Simpson Mathematical Logic

              Add to Reading List

              Source URL: www.personal.psu.edu

              Language: English - Date: 2013-10-17 16:15:49
                8BIBLIOGRAFIA  • Lewis Carroll, Mathematical Recreations of Lewis Carroll, Symbolic Logic, Dover Publications, INC., New York and Berkeley Enterprises

                BIBLIOGRAFIA • Lewis Carroll, Mathematical Recreations of Lewis Carroll, Symbolic Logic, Dover Publications, INC., New York and Berkeley Enterprises

                Add to Reading List

                Source URL: repositorio.ul.pt

                - Date: 2010-10-02 21:59:44
                  9Independence and Large Cardinals Peter Koellner April 16, 2010 The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possib

                  Independence and Large Cardinals Peter Koellner April 16, 2010 The independence results in arithmetic and set theory led to a proliferation of mathematical systems. One very general way to investigate the space of possib

                  Add to Reading List

                  Source URL: logic.harvard.edu

                  Language: English - Date: 2011-09-20 00:26:33
                    10Math. Log. Quart, Mathematical Logic Quarterly @ WILEY-VCH Verlag Berlin GmbH 1999

                    Math. Log. Quart, Mathematical Logic Quarterly @ WILEY-VCH Verlag Berlin GmbH 1999

                    Add to Reading List

                    Source URL: math.chapman.edu

                    Language: English - Date: 2017-09-16 11:26:46