Search results for "cut-elimination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Alwen Tiu	A Local System for Intuitionistic Logic.	LPAR	2006	DBLP DOI BibTeX RDF	locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures
20	Christoph Benzmüller, Chad E. Brown, Michael Kohlhase	Cut-Simulation in Impredicative Logics.	IJCAR	2006	DBLP DOI BibTeX RDF
20	Carsten Führmann, David J. Pym	On the Geometry of Interaction for Classical Logic.	LICS	2004	DBLP DOI BibTeX RDF
20	Sara Negri	Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
19	Paolo Maffezioli	Cut elimination for coherent theories in negation normal form.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
19	Gabriele Pulcini	Cut elimination by unthreading.	Arch. Math. Log.	2024	DBLP DOI BibTeX RDF
19	Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri	Infinitary Cut-Elimination via Finite Approximations.	CSL	2024	DBLP DOI BibTeX RDF
19	Gilles Dowek, Alexandre Miquel	Cut elimination for Zermelo set theory.	CoRR	2023	DBLP DOI BibTeX RDF
19	Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri	Infinitary cut-elimination via finite approximations.	CoRR	2023	DBLP DOI BibTeX RDF
19	Gilles Dowek	Confluence as a cut elimination property.	CoRR	2023	DBLP DOI BibTeX RDF
19	Gilles Dowek	Axioms vs. rewrite rules: from completeness to cut elimination.	CoRR	2023	DBLP DOI BibTeX RDF
19	Gilles Dowek, Olivier Hermant	A Simple Proof That Super-Consistency Implies Cut Elimination.	CoRR	2023	DBLP DOI BibTeX RDF
19	Hiromasa Hori, Koji Nakazawa, Makoto Tatsuta	Cut elimination for propositional cyclic proof systems with fixed-point operators.	CoRR	2023	DBLP DOI BibTeX RDF
19	Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff	A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised.	CoRR	2023	DBLP DOI BibTeX RDF
19	Beniamino Accattoli	Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Andrzej Indrzejczak	Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination and Interpolation.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
19	Giulio Fellin, Sara Negri, Eugenio Orlandelli	Glivenko sequent classes and constructive cut elimination in geometric logics.	Arch. Math. Log.	2023	DBLP DOI BibTeX RDF
19	Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff	A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.	TABLEAUX	2023	DBLP DOI BibTeX RDF
19	Alexis Saurin	A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points.	TABLEAUX	2023	DBLP DOI BibTeX RDF
19	Daichi Hayashi	On Cut-Elimination Arguments for Axiomatic Theories of Truth.	Stud Logica	2022	DBLP DOI BibTeX RDF
19	Yukihiro Masuoka, Daisuke Kimura	A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates.	CoRR	2022	DBLP DOI BibTeX RDF
19	Beniamino Accattoli	Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic.	CoRR	2022	DBLP DOI BibTeX RDF
19	Takahiro Sawasaki, Katsuhiko Sano	Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
19	Gabriele Pulcini	A note on cut-elimination for classical propositional logic.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
19	Beniamino Accattoli	Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic.	LICS	2022	DBLP DOI BibTeX RDF
19	Dan Frumin	Semantic cut elimination for the logic of bunched implications, formalized in Coq.	CPP	2022	DBLP DOI BibTeX RDF
19	Carlo Nicolai	Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.	Notre Dame J. Formal Log.	2021	DBLP DOI BibTeX RDF
19	Mirjana Ilic	A Cut-Elimination Proof in Positive Relevant Logic with Necessity.	Stud Logica	2021	DBLP DOI BibTeX RDF
19	Dan Frumin	Semantic Cut Elimination for the Logic of Bunched Implications, Formalized in Coq.	CoRR	2021	DBLP BibTeX RDF
19	Yukihiro Masuoka, Makoto Tatsuta	Counterexample to cut-elimination in cyclic proof system for first-order logic with inductive definitions.	CoRR	2021	DBLP BibTeX RDF
19	Jules Chouquet, Lionel Vaux Auclair	An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.	Log. Methods Comput. Sci.	2021	DBLP DOI BibTeX RDF
19	Richard Zach	Cut Elimination and Normalization for generalized single and Multi-Conclusion Sequent and Natural Deduction Calculi.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
19	Takahiro Sawasaki, Katsuhiko Sano	Frame definability, canonicity and cut elimination in common sense modal predicate logics.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
19	Kenji Saotome, Koji Nakazawa, Daisuke Kimura	Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions.	FSCD	2021	DBLP DOI BibTeX RDF
19	Giulio Fellin, Sara Negri, Eugenio Orlandelli	Constructive Cut Elimination in Geometric Logic.	TYPES	2021	DBLP DOI BibTeX RDF
19	Rajeev Goré, Revantha Ramanayake, Ian Shillito	Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq.	TABLEAUX	2021	DBLP DOI BibTeX RDF
19	Caitlin D'Abrera, Jeremy E. Dawson, Rajeev Goré	A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic.	TABLEAUX	2021	DBLP DOI BibTeX RDF
19	Norihiro Kamide	Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.	FLAP	2020	DBLP BibTeX RDF
19	Norihiro Kamide	Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.	J. Philos. Log.	2020	DBLP DOI BibTeX RDF
19	Norihiro Kamide	Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.	J. Philos. Log.	2020	DBLP DOI BibTeX RDF
19	Norihiro Kamide, Yoni Zohar	Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.	Stud Logica	2020	DBLP DOI BibTeX RDF
19	Andreas Fjellstad	A note on the Cut-Elimination Proof in "Truth without contra(di)Ction".	Rev. Symb. Log.	2020	DBLP DOI BibTeX RDF
19	Harley Eades III, Valeria de Paiva	Multiple conclusion linear logic: cut elimination and more.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
19	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
19	Vladimir N. Krupski	Cut elimination and complexity bounds for intuitionistic epistemic logic.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
19	Tim Lyon	Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.	LFCS	2020	DBLP DOI BibTeX RDF
19	Rajeev Goré, Björn Lellmann	Syntactic cut-elimination and backward proof-search for tense logic via linear nested sequents (Extended version).	CoRR	2019	DBLP BibTeX RDF
19	Jules Chouquet, Lionel Vaux Auclair	An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets.	CoRR	2019	DBLP BibTeX RDF
19	Tim Lyon	Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.	CoRR	2019	DBLP BibTeX RDF
19	Andrzej Indrzejczak	Cut Elimination in Hypersequent Calculus for some Logics of linear Time.	Rev. Symb. Log.	2019	DBLP DOI BibTeX RDF
19	Davide Rinaldi, Daniel Misselbeck-Wessel	Cut elimination for entailment relations.	Arch. Math. Log.	2019	DBLP DOI BibTeX RDF
19	Yury Savateev, Daniyar S. Shamkanov	Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.	WoLLIC	2019	DBLP DOI BibTeX RDF
19	Cezary Cieslinski	Satisfaction Classes via Cut Elimination.	ICLA	2019	DBLP DOI BibTeX RDF
19	Rajeev Goré, Björn Lellmann	Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents.	TABLEAUX	2019	DBLP DOI BibTeX RDF
19	Taus Brock-Nannestad, Nicolas Guenot	Multi-focused cut elimination.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
19	Gabriel Ebner	Fast Cut-Elimination using Proof Terms: An Empirical Study.	CL&C	2018	DBLP DOI BibTeX RDF
19	Revantha Ramanayake	Inducing syntactic cut-elimination for indexed nested sequents.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
19	Toshiyasu Arai	Cut-elimination for ω1.	Ann. Pure Appl. Log.	2018	DBLP DOI BibTeX RDF
19	Henry Towsner	Epsilon substitution for ID1 via cut-elimination.	Arch. Math. Log.	2018	DBLP DOI BibTeX RDF
19	Jules Chouquet, Lionel Vaux Auclair	An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets.	CSL	2018	DBLP DOI BibTeX RDF
19	Arnon Avron	Cut-elimination in RM Proved Semantically.	FLAP	2017	DBLP BibTeX RDF
19	Ryota Akiyoshi	An Ordinal-free Proof of the Complete Cut-elimination Theorem for \Pi^1_1-CA+BI with the omega-rule.	FLAP	2017	DBLP BibTeX RDF
19	Christoph Benzmüller	Cut-Elimination for Quantified Conditional Logic.	J. Philos. Log.	2017	DBLP DOI BibTeX RDF
19	Franco Parlamento, Flavio Previale	The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality.	CoRR	2017	DBLP BibTeX RDF
19	Revantha Ramanayake	Inducing syntactic cut-elimination for indexed nested sequents.	CoRR	2017	DBLP BibTeX RDF
19	Bruno Woltzenlogel Paleo	Reducing redundancy in cut-elimination by resolution.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
19	Walter Alexandre Carnielli, Gabriele Pulcini	Cut-elimination and deductive polarization in complementary classical logic.	Log. J. IGPL	2017	DBLP DOI BibTeX RDF
19	Yury Savateev, Daniyar S. Shamkanov	Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs.	WoLLIC	2017	DBLP DOI BibTeX RDF
19	Jude Brighton	Cut Elimination for GLS Using the Terminability of its Regress Process.	J. Philos. Log.	2016	DBLP DOI BibTeX RDF
19	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities.	CoRR	2016	DBLP BibTeX RDF
19	David M. Cerna, Alexander Leitsch	Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version].	CoRR	2016	DBLP BibTeX RDF
19		A Constructive Proof of Cut Elimination for a System of Full Second Order Logic.	CoRR	2016	DBLP BibTeX RDF
19	Annika Siders	From Stenius' Consistency Proof to SCHüTTE's Cut Elimination for ω-Arithmetic.	Rev. Symb. Log.	2016	DBLP DOI BibTeX RDF
19	Juan P. Aguilera 0001, Matthias Baaz	Cut Elimination for Gödel Logic with an Operator Adding a Constant.	WoLLIC	2016	DBLP DOI BibTeX RDF
19	Revantha Ramanayake	Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.	IJCAR	2016	DBLP DOI BibTeX RDF
19	David M. Cerna, Alexander Leitsch	Schematic Cut Elimination and the Ordered Pigeonhole Principle.	IJCAR	2016	DBLP DOI BibTeX RDF
19	Harley Eades III, Valeria de Paiva	Multiple Conclusion Linear Logic: Cut Elimination and More.	LFCS	2016	DBLP DOI BibTeX RDF
19	Patrick Baillot, Anupam Das 0002	Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic.	CSL	2016	DBLP DOI BibTeX RDF
19	Graham E. Leigh	Conservativity for Theories of Compositional Truth via Cut Elimination.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
19	Sam Buss	Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination.	Stud Logica	2015	DBLP DOI BibTeX RDF
19	Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh	Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars.	TLCA	2015	DBLP DOI BibTeX RDF
19	Rajeev Goré, Revantha Ramanayake	Cut-elimination for Weak Grzegorczyk Logic Go.	Stud Logica	2014	DBLP DOI BibTeX RDF
19	Matthias Baaz, Alexander Leitsch	Cut-Elimination: Syntax and Semantics.	Stud Logica	2014	DBLP DOI BibTeX RDF
19	Lisa Allali, Olivier Hermant	Semantic A-translation and Super-consistency entail Classical Cut Elimination.	CoRR	2014	DBLP BibTeX RDF
19	Gilles Dowek, Ying Jiang	Cut-elimination and the decidability of reachability in alternating pushdown systems.	CoRR	2014	DBLP BibTeX RDF
19	Taus Brock-Nannestad, Nicolas Guenot	Cut Elimination in Multifocused Linear Logic.	LINEARITY	2014	DBLP DOI BibTeX RDF
19	Silvio Ghilardi, Grigori Mints	The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
19	Graham E. Leigh	Conservativity for theories of compositional truth via cut elimination.	CoRR	2013	DBLP BibTeX RDF
19	Lisa Allali, Olivier Hermant	Semantic A-translations and Super-Consistency Entail Classical Cut Elimination.	LPAR	2013	DBLP DOI BibTeX RDF
19	Franco Parlamento, Flavio Previale	Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.	ICLA	2013	DBLP DOI BibTeX RDF
19	Lutz Straßburger	Cut Elimination in Nested Sequents for Intuitionistic Modal Logics.	FoSSaCS	2013	DBLP DOI BibTeX RDF
19	Hendrik Tews	Formalizing Cut Elimination of Coalgebraic Logics in Coq.	TABLEAUX	2013	DBLP DOI BibTeX RDF
19	Jérôme Fortier, Luigi Santocanale	Cuts for circular proofs: semantics and cut-elimination.	CSL	2013	DBLP DOI BibTeX RDF
19	Cvetan Dunchev, Alexander Leitsch, Mikheil Rukhaia, Daniel Weller 0001	Cut-Elimination and Proof Schemata.	TbiLLC	2013	DBLP DOI BibTeX RDF
19	Olivier Laurent 0001	Intersection Types with Subtyping by Means of Cut Elimination.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
19	Samuel R. Buss	Sharpened lower bounds for cut elimination.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
19	Gilles Dowek, Olivier Hermant	A Simple Proof that Super-Consistency Implies Cut Elimination.	Notre Dame J. Formal Log.	2012	DBLP DOI BibTeX RDF
19	Grigori Mints	Effective Cut-elimination for a Fragment of Modal mu-calculus.	Stud Logica	2012	DBLP DOI BibTeX RDF
19	Grigori Mints, Thomas Studer	Cut-elimination for the mu-calculus with one variable	FICS	2012	DBLP DOI BibTeX RDF
19	Alwen Tiu, Alberto Momigliano	Cut elimination for a logic with induction and co-induction.	J. Appl. Log.	2012	DBLP DOI BibTeX RDF