×

Found 24 Documents (Results 1–24)

Herbrand confluence for first-order proofs with \(\Pi_2\)-cuts. (English) Zbl 1433.03133

Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 5-40 (2016).
MSC:  03F05 68Q42 03F07
PDFBibTeX XMLCite
Full Text: DOI

Tree grammars for the elimination of non-prenex cuts. (English) Zbl 1373.03123

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 110-127 (2015).
MSC:  03F05 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Herbrand disjunctions, cut elimination and context-free tree grammars. (English) Zbl 1366.03235

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 1-16 (2015).
MSC:  03F05 03D05 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Herbrand-confluence for cut elimination in classical first order logic. (English) Zbl 1252.03123

Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 320-334, electronic only (2012).
PDFBibTeX XMLCite
Full Text: DOI

Towards algorithmic cut-introduction. (English) Zbl 1352.68213

Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 228-242 (2012).
MSC:  68T15 03F05
PDFBibTeX XMLCite
Full Text: DOI

A sequent calculus with implicit term representation. (English) Zbl 1287.03100

Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 351-365 (2010).
MSC:  03F05
PDFBibTeX XMLCite
Full Text: DOI HAL

A clausal approach to proof analysis in second-order logic. (English) Zbl 1211.03018

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 214-229 (2009).
MSC:  03B15 03F05
PDFBibTeX XMLCite
Full Text: DOI

Proof transformations and structural invariance. (English) Zbl 1123.03050

Aguzzoli, Stefano (ed.) et al., Algebraic and proof-theoretic aspects of non-classical logics. Papers in honor of Daniele Mundici on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-540-75938-6/pbk). Lecture Notes in Computer Science 4460. Lecture Notes in Artificial Intelligence, 201-230 (2007).
MSC:  03F07 03F05
PDFBibTeX XMLCite
Full Text: DOI

Proof transformation by CERES. (English) Zbl 1125.03012

Borwein, Jonathan M. (ed.) et al., Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37104-4/pbk). Lecture Notes in Computer Science 4108. Lecture Notes in Artificial Intelligence, 82-93 (2006).
MSC:  03B35 03F05 68T15
PDFBibTeX XMLCite
Full Text: DOI

Cut-elimination: experiments with CERES. (English) Zbl 1108.03305

Baader, Franz (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25236-3/pbk). Lecture Notes in Computer Science 3452. Lecture Notes in Artificial Intelligence, 481-495 (2005).
MSC:  03B35 03F05 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software