The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase cut-elimination (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1973-1990 (15) 1991-1994 (17) 1995-1997 (17) 1998-1999 (19) 2000-2001 (26) 2002 (16) 2003 (16) 2004 (15) 2005 (22) 2006 (30) 2007 (29) 2008 (26) 2009 (26) 2010-2011 (17) 2012-2013 (20) 2014-2016 (19) 2017-2018 (15) 2019-2020 (17) 2021-2022 (19) 2023-2024 (15)
Publication types (Num. hits)
article(181) incollection(1) inproceedings(213) phdthesis(1)
Venues (Conferences, Journals, ...)
CSL(32) Arch. Math. Log.(28) CoRR(26) Stud Logica(22) LPAR(19) TABLEAUX(18) Ann. Pure Appl. Log.(16) LICS(15) TLCA(13) J. Log. Comput.(12) LFCS(12) J. Symb. Log.(10) RTA(9) WoLLIC(9) Math. Log. Q.(7) Theor. Comput. Sci.(7) More (+10 of total 94)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 174 occurrences of 83 keywords

Results
Found 396 publication records. Showing 396 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
95Olivier Hermant Semantic Cut Elimination in the Intuitionistic Sequent Calculus. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo
89Kai Brünnler Atomic Cut Elimination for classical Logic. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF atomic cut, sequent calculus, cut elimination, natural deduction, classical logic
85Christian Urban Strong Normalisation for a Gentzen-like Cut-Elimination Procedure. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Recursive Path Ordering, Cut-Elimination, Explicit Substitution, Classical Logic
83Agata Ciabattoni, Kazushige Terui Modular Cut-Elimination: Finding Proofs or Counterexamples. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
79Francisco Gutiérrez, Blas C. Ruiz Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF pure type systems, expansion postponement, Track: B, cut elimination, sequent calculi
75Kentaro Kikuchi Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution
69Kai Brünnler Cut Elimination inside a Deep Inference System for Classical Predicate Logic. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF cut elimination, first-order predicate logic, deep inference
68Francesco Belardinelli, Peter Jipsen, Hiroakira Ono Algebraic Aspects of Cut Elimination. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Algebraic Gentzen systems, finite model property, residuated lattices, cut elimination, substructural logics
67José Espírito Santo Revisiting the Correspondence between Cut Elimination and Normalisation. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
62Harry G. Mairson, Kazushige Terui On the Computational Complexity of Cut-Elimination in Linear Logic. Search on Bibsonomy ICTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
58Hugo Herbelin, Gyesik Lee Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
58Guillaume Burel, Claude Kirchner Cut Elimination in Deduction Modulo by Abstract Completion. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Knuth-Bendix completion, automated deduction and interactive theorem proving, proof ordering, abstract canonical system, cut elimination, deduction modulo
57Clément Houtmann Axiom Directed Focusing. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF superdeduction, Proof theory, focusing, deduction modulo
57Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Cut-Elimination: Experiments with CERES. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
56Dirk Pattinson, Lutz Schröder Generic Modal Cut Elimination Applied to Conditional Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
56Gilles Dowek, Olivier Hermant A Simple Proof That Super-Consistency Implies Cut Elimination. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Philipp Gerhardy Refined Complexity Analysis of Cut Elimination. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56Christian Urban, Gavin M. Bierman Strong Normalisation of Cut-Elimination in Classical Logic. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
55Grigori Mints Unwinding a Non-effective Cut Elimination Proof. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
53Olivier Laurent 0001, Roberto Maieli Cut Elimination for Monomial MALL Proof Nets. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Linear Logic, Cut Elimination, Proof Net
53Agata Ciabattoni, Kazushige Terui Towards a Semantic Characterization of Cut-Elimination. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF nonclassical logicss, phase semantics, sequent calculus, cut-elimination, substructural logics
53Anna Zamansky, Arnon Avron Cut-Elimination and Quantification in Canonical Systems. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF canonical systems, proof theory, cut elimination, non-deterministic matrices
53Grigori Mints Cut Elimination for S4C: A Case Study. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Dynamic topological logic, cut elimination
53Torben Braüner, Valeria de Paiva A Formulation of Linear Logic Based on Dependency-Relations. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
52Koji Nakazawa An Isomorphism Between Cut-Elimination Procedure and Proof Reduction. Search on Bibsonomy TLCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
51Arnon Avron, Anna Zamansky Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
51Kentaro Kikuchi On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Ichiro Ogata Cut Elimination for Classical Proofs as Continuation Passing Style Computation. Search on Bibsonomy ASIAN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
50Matthias Baaz, Agata Ciabattoni A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Francisco Gutiérrez, Blas C. Ruiz A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF lambda calculus with types, pure type systems, cut elimination, sequent calculi
48Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Proof Transformation by CERES. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Michele Pagani The Cut-Elimination Theorem for Differential Nets with Promotion. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
45Kentaro Kikuchi, Stéphane Lengrand Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Olivier Hermant, James Lipton A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Chiyan Chen, Dengping Zhu, Hongwei Xi Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. Search on Bibsonomy PADL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45James Laird A Deconstruction of Non-deterministic Classical Cut Elimination. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Claudia Faggian Classical Proofs via Basic Logic. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Arnon Avron, Anna Zamansky A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. Search on Bibsonomy CSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Norihiro Kamide Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Gilles Dowek Confluence as a Cut Elimination Property. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Birgit Elbl Cut elimination for a calculus with context-dependent rules. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000): 03F05, 03B60, 68N17, 68Q55
41Matthias Baaz, Alexander Leitsch Comparing the Complexity of Cut-Elimination Methods. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Roy Dyckhoff, Delia Kesner, Stéphane Lengrand Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
39Arnold Beckmann Resolution Refutations and Propositional Proofs with Height-Restrictions. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Height of proofs, Length of proofs, Resolution refutation, Frege systems, Order induction principle, Cut introduction, MSC: Primary 03F20, Secondary 03F07, 68R99, Cut elimination, 68Q15, Bounded arithmetic, Propositional calculus
37José Espírito Santo The lambda-Calculus and the Unity of Structural Proof Theory. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Mirjana Borisavljevic A Connection Between Cut Elimination and Normalization. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Norihiro Kamide Proof Systems Combining Classical and Paraconsistent Negations. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Paraconsistent negation, completeness, sequent calculus, cut-elimination
34Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui From Axioms to Analytic Rules in Nonclassical Logics. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
34Alessio Guglielmi A system of interaction and structure. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF mix rule, noncommutativity, pomset logic, symmetry, linear logic, cut elimination, self-duality, deep inference, Calculus of structures
34Aleksandra Kislak-Malinowska On the Logic of beta -pregroups. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ?-pregroup, normalization theorem, cut elimination, Pregroup
34Annie Foret Pregroup Calculus as a Logic Functor. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups
34Matthias Baaz, Rosalie Iemhoff Gentzen Calculi for the Existence Predicate. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
34Henry Towsner Epsilon substitution for transfinite induction. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Epsilon substitution, Cut elimination
34Matthias Baaz, Rosalie Iemhoff On Interpolation in Existence Logics. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
34Stefano Baratella, Andrea Masini An approach to infinitary temporal proof theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Modal logic, Proof theory, Sequent calculus, Cut elimination, Infinitary logic
32Agata Ciabattoni, George Metcalfe Density Elimination and Rational Completeness for First-Order Logics. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Matthias Baaz, Alexander Leitsch CERES in Many-Valued Logics. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
32Alessio Guglielmi, Lutz Straßburger Non-commutativity and MELL in the Calculus of Structures. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Michel Parigot Free Deduction: An Analysis of "Computations" in Classical Logic. Search on Bibsonomy RCLP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
31Rajeev Goré, Linda Postniece, Alwen Tiu Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Mirjana Borisavljevic Two measures for proving Gentzen's Hauptsatz without mix. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
30Grigori Mints Proof Search Tree and Cut Elimination. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Christian Urban, Bozhi Zhu Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
30Serenella Cerrito, Delia Kesner Pattern Matching as Cut Elimination. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
30Roberto Di Cosmo, Delia Kesner Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
30Matthias Baaz, Alexander Leitsch Fast Cut-Elimination by Projection. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
30Ulf R. Schmerl A Cut-Elimination Procedure Designed for Evaluating Proofs as Programs. Search on Bibsonomy CSL The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Daniel Murfet, William Troiani Elimination and cut-elimination in multiplicative linear logic. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
29Adam Prenosil Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics. Search on Bibsonomy Stud Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29Matthias Baaz, Alexander Leitsch Cut-elimination and Redundancy-elimination by Resolution. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27José Espírito Santo Refocusing Generalised Normalisation. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF generalised elimination rules, multiarity, normalisation
26Hidenori Kurokawa Hypersequent Calculus for Intuitionistic Logic with Classical Atoms. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio Higher-Order Termination: From Kruskal to Computability. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Richard Bonichon, Olivier Hermant On Constructive Cut Admissibility in Deduction Modulo. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Agata Ciabattoni, George Metcalfe Bounded Lukasiewicz Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
23Massimo Bartoletti, Roberto Zunino A Calculus of Contracting Processes. Search on Bibsonomy LICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF circular assume-guarantee, concurrent constraints, contracts, cut elimination
23James Brotherston, Cristiano Calcagno Classical BI: a logic for reasoning about dualising resources. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF bunched implications, classical bi, display logic, semantics, completeness, cut-elimination, resource models
23Carsten Schürmann 0001, Jeffrey Sarnat Structural Logical Relations. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Twelf, Normalization, Logical Frameworks, Cut-Elimination, Logical Relations
23Dominic J. D. Hughes, Rob J. van Glabbeek Proof nets for unit-free multiplicative-additive linear logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Linear logic, cut elimination, additives, proof nets
23Agata Ciabattoni A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Modal predicate logics, Hypersequent calculi, Globalization, Cut-elimination
23Gilles Dowek, Thérèse Hardin, Claude Kirchner Theorem Proving Modulo. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
22Georg Moser, Richard Zach The Epsilon Calculus and Herbrand Complexity. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity
22Klaus Mayr Refinements and Extensions of Model Elimination. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001, Bruno Woltzenlogel Paleo A Clausal Approach to Proof Analysis in Second-Order Logic. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Ugo Dal Lago, Luca Roversi, Luca Vercelli Taming Modal Impredicativity: Superlazy Reduction. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Linear logic, proof theory, implicit computational complexity
21Atsushi Ohori A proof theory for machine code. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Curry-Howard isomorphism
21José Espírito Santo Delayed Substitutions. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Stefan Hetzl, Alexander Leitsch Proof Transformations and Structural Invariance. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Herman Geuvers, Iris Loeb From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Anna Zamansky, Arnon Avron Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21François Lamarche, Lutz Straßburger Naming Proofs in Classical Propositional Logic. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Esfandiar Haghverdi, Philip J. Scott Towards a Typed Geometry of Interaction. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Michel Parigot On Constructive Existence. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Sara Negri A normalizing system of natural deduction for intuitionistic linear logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Alessio Guglielmi, Lutz Straßburger A Non-commutative Extension of MELL. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Roberto Di Cosmo, Delia Kesner, Emmanuel Polonowski Proof Nets and Explicit Substitutions. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Wilfried Sieg, Stanley S. Wainer Program Transformation and Proof Transformation. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
20Linda Buisman, Rajeev Goré A Cut-Free Sequent Calculus for Bi-intuitionistic Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Matthias Baaz, George Metcalfe Proof Theory for First Order Lukasiewicz Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Dale Miller 0001, Alexis Saurin From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic. Search on Bibsonomy CSL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 396 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license