Sequent

Results: 264



#Item
51Relating Sequent Calculi for Bi-intuitionistic Propositional Logic Lu´ıs Pinto Tarmo Uustalu

Relating Sequent Calculi for Bi-intuitionistic Propositional Logic Lu´ıs Pinto Tarmo Uustalu

Add to Reading List

Source URL: cs.ioc.ee

Language: English - Date: 2011-01-27 08:54:11
    52Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

    Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

    Add to Reading List

    Source URL: schematics.sourceforge.net

    Language: English - Date: 2005-05-20 05:14:15
    53On the Proof Complexity of Cut-Free Bounded Deep Inference Anupam Das University of Bath Abstract. It has recently been shown that cut-free deep inference systems exhibit an exponential speed-up over cut-free sequent sy

    On the Proof Complexity of Cut-Free Bounded Deep Inference Anupam Das University of Bath Abstract. It has recently been shown that cut-free deep inference systems exhibit an exponential speed-up over cut-free sequent sy

    Add to Reading List

    Source URL: www.anupamdas.com

    Language: English - Date: 2012-02-03 19:34:56
      54Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics Nicola Olivetti1 and Gian Luca Pozzato2 1 Aix-Marseille Universit´e, CNRS, LSIS UMRFrance -

      Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics Nicola Olivetti1 and Gian Luca Pozzato2 1 Aix-Marseille Universit´e, CNRS, LSIS UMRFrance -

      Add to Reading List

      Source URL: www.dmi.unict.it

      Language: English - Date: 2013-09-18 04:53:03
        55A Unified Sequent Calculus for Focused Proofs Chuck Liang Hofstra University Department of Computer Science Hempstead, NY, USA Email:

        A Unified Sequent Calculus for Focused Proofs Chuck Liang Hofstra University Department of Computer Science Hempstead, NY, USA Email:

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2009-05-29 17:31:18
          56Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech Department of Computer Science, Aarhus University, Denmark?

          Proofs, upside down A functional correspondence between natural deduction and the sequent calculus Matthias Puech Department of Computer Science, Aarhus University, Denmark?

          Add to Reading List

          Source URL: www.pps.univ-paris-diderot.fr

          Language: English - Date: 2013-09-20 07:20:05
            57On the specification of sequent systems Elaine Pimentel1 and Dale Miller2⋆ 1 Departamento de Matem´ atica,

            On the specification of sequent systems Elaine Pimentel1 and Dale Miller2⋆ 1 Departamento de Matem´ atica,

            Add to Reading List

            Source URL: www.lix.polytechnique.fr

            Language: English - Date: 2005-09-29 14:44:48
              58Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the

              Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the

              Add to Reading List

              Source URL: schematics.sourceforge.net

              Language: English - Date: 2005-05-20 05:14:17
              59Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

              Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions

              Add to Reading List

              Source URL: schematics.sourceforge.net

              Language: English - Date: 2005-05-20 05:14:15
              60Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus Hugo Herbelin1 and Gyesik Lee2 1 2

              Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus Hugo Herbelin1 and Gyesik Lee2 1 2

              Add to Reading List

              Source URL: formal.hknu.ac.kr

              Language: English