Search results for "cut-elimination"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	Algebraic proof theory for substructural logics: Cut-elimination and completions.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
19	Kai Brünnler, Thomas Studer	Syntactic cut-elimination for a fragment of the modal mu-calculus.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
19	Rajeev Goré, Revantha Ramanayake	Valentini's Cut-Elimination for Provability Logic resolved.	Rev. Symb. Log.	2012	DBLP DOI BibTeX RDF
19	Meghdad Ghari	Cut Elimination and Realization for Epistemic Logics with Justification.	J. Log. Comput.	2012	DBLP DOI BibTeX RDF
19	Denis Cousineau 0002, Olivier Hermant	A Semantic Proof that Reducibility Candidates entail Cut Elimination.	RTA	2012	DBLP DOI BibTeX RDF
19	Stefan Hetzl, Lutz Straßburger	Herbrand-Confluence for Cut Elimination in Classical First Order Logic.	CSL	2012	DBLP DOI BibTeX RDF
19	Ryuta Arisaka, Shengchao Qin	LBI Cut Elimination Proof with BI-MultiCut.	TASE	2012	DBLP DOI BibTeX RDF
19	Michael Gabbay 0001	A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
19	Matthias Baaz, Stefan Hetzl	On the non-confluence of cut-elimination.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
19	Arnold Beckmann, Samuel R. Buss	Corrected upper bounds for free-cut elimination.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
19	Dirk Pattinson, Lutz Schröder	Generic Modal Cut Elimination Applied to Conditional Logics	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
19	André Platzer	The Structure of Differential Invariants and Differential Cut Elimination	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
19	Toshiyasu Arai	Quick cut-elimination for strictly positive cuts.	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
19	Norihiro Kamide, Heinrich Wansing	Completeness and cut-elimination theorems for trilattice logics.	Ann. Pure Appl. Log.	2011	DBLP DOI BibTeX RDF
19	Lutz Straßburger	From Deep Inference to Proof Nets via Cut Elimination.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
19	Björn Lellmann, Dirk Pattinson	Cut Elimination for Shallow Modal Logics.	TABLEAUX	2011	DBLP DOI BibTeX RDF
19	Rajeev Goré, Linda Postniece, Alwen Tiu	Cut-Elimination and Proof Search for Bi-Intuitionistic Tense Logic	CoRR	2010	DBLP BibTeX RDF
19	Alwen Tiu, Alberto Momigliano	Cut Elimination for a Logic with Induction and Co-induction	CoRR	2010	DBLP BibTeX RDF
19	Nikolaos Galatos, Hiroakira Ono	Cut elimination and strong separation for substructural logics: An algebraic approach.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
19	Olivier Hermant, James Lipton	Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
19	Dirk Pattinson, Lutz Schröder	Cut elimination in coalgebraic logics.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
19	Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
19	Rajeev Goré, Linda Postniece, Alwen Tiu	Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.	Advances in Modal Logic	2010	DBLP BibTeX RDF
19	Kai Brünnler, Thomas Studer	Syntactic cut-elimination for common knowledge.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
19	Morten Heine Sørensen, Pawel Urzyczyn	Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions.	J. Symb. Log.	2008	DBLP DOI BibTeX RDF
19	Agata Ciabattoni, Alexander Leitsch	Towards an algorithmic construction of cut-elimination procedures.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
19	Alwen Tiu	Cut Elimination for a Logic with Generic Judgments and Induction	CoRR	2008	DBLP BibTeX RDF
19	Grigori Mints	Cut elimination for a simple formulation of epsilon calculus.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
19	Kentaro Kikuchi	Call-by-name reduction and cut-elimination in classical logic.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
19	Mirjana Isakovic Ilic	Cut Elimination and Decidability for Classical Lambek Logic.	J. Log. Comput.	2008	DBLP DOI BibTeX RDF
19	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller	Cut Elimination for First Order Gödel Logic by Hyperclause Resolution.	LPAR	2008	DBLP DOI BibTeX RDF
19	Rajeev Goré, Linda Postniece, Alwen Tiu	Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.	Advances in Modal Logic	2008	DBLP BibTeX RDF
19	Rajeev Goré, Revantha Ramanayake	Valentini's cut-elimination for provability logic resolved.	Advances in Modal Logic	2008	DBLP BibTeX RDF
19	Kai Brünnler, Thomas Studer	Syntactic Cut-elimination for Common Knowledge.	M4M	2007	DBLP DOI BibTeX RDF
19	Kazushige Terui	Which structural rules admit cut elimination? An algebraic criterion.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
19	João Rasga	Sufficient conditions for cut elimination with complexity analysis.	Ann. Pure Appl. Log.	2007	DBLP DOI BibTeX RDF
19	Wenhui Zhang	Structure of proofs and the complexity of cut elimination.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
19	Matthias Baaz, Alexander Leitsch	Towards a clausal analysis of cut-elimination.	J. Symb. Comput.	2006	DBLP DOI BibTeX RDF
19	Grigori Mints	Cut Elimination for a Simple Formulation of PAepsilon.	WoLLIC	2005	DBLP DOI BibTeX RDF
19	Philipp Gerhardy	The Role of Quantifier Alternations in Cut Elimination.	Notre Dame J. Formal Log.	2005	DBLP DOI BibTeX RDF
19	Luca Alberucci, Gerhard Jäger	About cut elimination for logics of common knowledge.	Ann. Pure Appl. Log.	2005	DBLP DOI BibTeX RDF
19	Mary DeMarco, James Lipton	Completeness and Cut-elimination in the Intuitionistic Theory of Types.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
19	Paulo Mateus, João Rasga, Cristina Sernadas	Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.	Log. J. IGPL	2005	DBLP DOI BibTeX RDF
19	Steffen van Bakel	Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.	Notre Dame J. Formal Log.	2004	DBLP DOI BibTeX RDF
19	Serenella Cerrito, Delia Kesner	Pattern matching as cut elimination.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
19	Francisco Gutiérrez, Blas C. Ruiz	Cut Elimination in a Class of Sequent Calculi for Pure Type Systems.	WoLLIC	2003	DBLP DOI BibTeX RDF
19	Steffen van Bakel	Strongly Normalising Cut-Elimination with Strict Intersection Types.	ITRS	2002	DBLP DOI BibTeX RDF
19	Mitsuhiro Okada	A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
19	Stéphane Demri, Rajeev Goré	Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics.	J. Log. Comput.	2002	DBLP DOI BibTeX RDF
19	Christian Urban, Gavin M. Bierman	Strong Normalisation of Cut-Elimination in Classical Logic.	Fundam. Informaticae	2001	DBLP BibTeX RDF
19	Jeremy Avigad	Algebraic proofs of cut elimination.	J. Log. Algebraic Methods Program.	2001	DBLP DOI BibTeX RDF
19	J. Robin B. Cockett	Deforestation, program transformation, and cut-elimination.	CMCS	2001	DBLP DOI BibTeX RDF
19	Paul C. Gilmore	An Intensional Type Theory: Motivation and Cut-Elimination.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
19	Yoshihito Tanaka	Cut-elimination Theorems for Some Infinitary Modal Logics.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
19	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller	Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic.	ISMVL	2001	DBLP DOI BibTeX RDF
19	Raymond McDowell, Dale Miller 0001	Cut-elimination for a logic with definitions and induction.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
19	Henk Barendregt, Silvia Ghilezan	Lambda terms for natural deduction, sequent calculus and cut elimination.	J. Funct. Program.	2000	DBLP DOI BibTeX RDF
19	Frank Pfenning	Structural Cut Elimination: I. Intuitionistic and Classical Logic.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
19	Gilles Dowek	Axioms vs. Rewrite Rules: From Completeness to Cut Elimination.	FroCoS	2000	DBLP DOI BibTeX RDF
19	Grigori Mints	Cut-Elimination for Simple Type Theory with An Axiom of Choice.	J. Symb. Log.	1999	DBLP DOI BibTeX RDF
19	Mitsuhiro Okada	Phase Semantic Cut-Elimination and Normalization Proofs of First- and Higher-Order Linear Logic.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
19	Mirjana Borisavljevic	A Cut-Elimination Proof in Intuitionistic Predicate Logic.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
19	Matthias Baaz, Alexander Leitsch, Georg Moser	System Description: CutRes 0.1: Cut Elimination by Resolution.	CADE	1999	DBLP DOI BibTeX RDF
19	Sara Negri, Jan von Plato	Cut elimination in the presence of axioms.	Bull. Symb. Log.	1998	DBLP DOI BibTeX RDF
19	Dov M. Gabbay, Nicola Olivetti	Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.	Stud Logica	1998	DBLP DOI BibTeX RDF
19	Roy Dyckhoff, Luís Pinto 0001	Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic.	Stud Logica	1998	DBLP DOI BibTeX RDF
19	Toshiyasu Arai	Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection.	Ann. Pure Appl. Log.	1998	DBLP DOI BibTeX RDF
19	Grigori Mints	Indexed systems of sequents and cut-elimination.	J. Philos. Log.	1997	DBLP DOI BibTeX RDF
19	Alessandra Carbone	Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
19	Michael Gavrilovich	Cut Elimination for the Second Order Propositional Logic with Hilbert's epsilon-symbol, Extensionality, and Full Comprehension.	LFCS	1997	DBLP DOI BibTeX RDF
19	Mitsuhiro Okada	Phase Semantics for Higher Order Completeness, Cut-Elimination and Normalization Proofs.	Linear Logic Tokyo Meeting	1996	DBLP DOI BibTeX RDF
19	Bayu Surarso, Hiroakira Ono	Cut Elimination in Noncommutative Substructural Logics.	Reports Math. Log.	1996	DBLP BibTeX RDF
19	Joachim Lambek	Cut Elimination for Classical Bilinear Logic.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
19	Heinrich Wansing	Strong Cut-elimination in Display Logic.	Reports Math. Log.	1995	DBLP BibTeX RDF
19	Heinrich Wansing	Strong Cut-Elimination for Constant Domain First-Order S5.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
19	Alex K. Simpson	Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS	LICS	1995	DBLP DOI BibTeX RDF
19	Frank Pfenning	Structural Cut Elimination	LICS	1995	DBLP DOI BibTeX RDF
19	Katherine A. Eastaughffe	The geometry of interaction as a theory of cut elimination with structure-sharing.		1995	RDF
19	Tatsuya Shimura, Ryo Kashima	Cut-Elimination Theorem for the Logic of Constant Domains.	Math. Log. Q.	1994	DBLP DOI BibTeX RDF
19	Jacqueline Vauzeilles	Cut Elimination for the Unified Logic.	Ann. Pure Appl. Log.	1993	DBLP DOI BibTeX RDF
19	Robert A. Bull	Cut Elimination for Propositional Dynamic Logic without.	Math. Log. Q.	1992	DBLP DOI BibTeX RDF
19	Jörg Hudelmaier	Bounds for cut elimination in intuitionistic propositional logic.	Arch. Math. Log.	1992	DBLP DOI BibTeX RDF
19	Sergei Tupailo	Gentzen-Style and Novikov-Style Cut-Elimination.	LFCS	1992	DBLP DOI BibTeX RDF
19	Marcel Crabbé	Stratification and Cut-Elimination.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
19	Wenhui Zhang	Cut Elimination and Automatic Proof Procedures.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
19	Peter Schroeder-Heister	Cut Elimination for Logics with Definitional Reflection.	Nonclassical Logics and Information Processing	1990	DBLP DOI BibTeX RDF
19	Mitsuru Yasuhara	An Addition to "Cut Elimination in ϵ-Calculi".	Math. Log. Q.	1989	DBLP DOI BibTeX RDF
19	Jacqueline Vauzeilles	Cut-elimination and interpolation for Ω-logic.	Arch. Math. Log.	1988	DBLP DOI BibTeX RDF
19	Manfred E. Szabo	A cut elimination theorem for stationary logic.	Ann. Pure Appl. Log.	1987	DBLP DOI BibTeX RDF
19	Lew Gordeev	On cut elimination in the presence of perice rule.	Arch. Math. Log.	1987	DBLP DOI BibTeX RDF
19	Silvio Valentini	A Syntactic Proof of Cut-Elimination For GLlin.	Math. Log. Q.	1986	DBLP DOI BibTeX RDF
19	Marie-Christine Ferbus	Functorial bounds for cut elimination inLβω. II.	Arch. Math. Log.	1985	DBLP DOI BibTeX RDF
19	Marie-Christine Ferbus	Functorial bounds for cut elimination inLβω. I.	Arch. Math. Log.	1984	DBLP DOI BibTeX RDF
19	Silvio Valentini	The modal logic of provability: Cut-elimination.	J. Philos. Log.	1983	DBLP DOI BibTeX RDF
19	Mitsuru Yasuhara	Cut Elimination in ε-Calculi.	Math. Log. Q.	1982	DBLP DOI BibTeX RDF
19	Wolfram Pohlers	Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1.	Arch. Math. Log.	1981	DBLP DOI BibTeX RDF
19	Wolfram Pohlers	Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions.	Arch. Math. Log.	1980	DBLP DOI BibTeX RDF
19	Linda Wessels	Cut Elimination in a Gentzen-Style ϵ-Calculus Without Identity.	Math. Log. Q.	1977	DBLP DOI BibTeX RDF
19	Satoko Titani	A Proof of the Cut-Elimination Theorem in Simple Type Theory.	J. Symb. Log.	1973	DBLP DOI BibTeX RDF
16	José Espírito Santo, Maria João Frade, Luís Pinto 0001	Structural Proof Theory as Rewriting.	RTA	2006	DBLP DOI BibTeX RDF