Logic

Results: 27485



#Item
161

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
    162

    J Philos Logic:111–115 DOIs10992x Guest Editors’ Introduction James Delgrande · J´erˆome Lang

    Add to Reading List

    Source URL: www.lamsade.dauphine.fr

    Language: English - Date: 2015-07-24 01:57:24
      163

      1 To appear in Theoria, 82: (2016), special issue in celebration of Derek Parfit’s award of the 2014 Schock Prize in Logic and Philosophy.

      Add to Reading List

      Source URL: ruthchang.net

      Language: English - Date: 2016-04-18 08:30:32
        164

        J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

        Add to Reading List

        Source URL: formal.hknu.ac.kr

        Language: English - Date: 2018-03-08 05:11:17
          165

          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
            166

            ALERT LOGIC WEB SECURITY MANAGER PREMIER™ ® MANAGED WEB APPLICATION FIREWALL FOR CLOUD AND HYBRID ENVIRONMENTS Web Security Manager Premier™ is a highly tunable, enterprise-grade, cloud based web application firewal

            Add to Reading List

            Source URL: www.alertlogic.com

            Language: English - Date: 2018-08-16 13:48:55
              167

              Logic versus theory of language in the late 19th century Wilfrid Hodges Queen Mary, University of London 6 November 2000

              Add to Reading List

              Source URL: wilfridhodges.co.uk

              Language: English - Date: 2009-03-04 10:07:35
                168

                National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L4: Regular languages?

                Add to Reading List

                Source URL: muwo1.unibo.it

                Language: English - Date: 2017-07-07 10:14:12
                  169

                  Is there a Logic of Imperatives? J¨org Hansen Institut f¨ ur Philosophie Universit¨ at Leipzig

                  Add to Reading List

                  Source URL: icr.uni.lu

                  Language: English - Date: 2014-12-05 12:20:27
                    170

                    Location S Fuzzy Logic Fuzzy’s been kidnapped! All we know is that he’s being subjected to lie-detector tests to figure out what he knows about puzzles! A few months ago, the radical wing of BAPHL managed to capture

                    Add to Reading List

                    Source URL: www.baphl.org

                    Language: English - Date: 2010-05-09 21:31:12
                      UPDATE