Bruno Woltzenlogel Paleo

Available identifiers

zbMath Open woltzenlogel-paleo.brunoMaRDI QIDQ523302

List of research outcomes

Publication	Date of Publication	Type
Lifting propositional proof compression algorithms to first-order logic	2022-01-03	Paper
Para-disagreement logics and their implementation through embedding in Coq and SMT	2020-08-06	Paper
Complexity of translations from resolution to sequent calculus	2019-10-09	Paper
Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning	2018-02-02	Paper
NP-completeness of small conflict set generation for congruence closure	2018-01-08	Paper
Scavenger 0.1: a theorem prover based on conflict resolution	2017-09-22	Paper
An object-logic explanation for the inconsistency in Gödel's ontological theory	2017-09-14	Paper
Variants of Gödel's ontological proof in a natural deduction calculus	2017-07-19	Paper
Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers	2017-07-18	Paper
Reducing redundancy in cut-elimination by resolution	2017-05-17	Paper
Computer-assisted analysis of the Anderson-Hájek ontological controversy	2017-04-20	Paper
Higher-order modal logics: automation and applications	2017-03-30	Paper
Implementation and evaluation of contextual natural deduction for minimal logic	2016-12-21	Paper
On logic embeddings and Gödel's God	2016-02-25	Paper
Contextual Natural Deduction	2015-12-11	Paper
Towards the compression of first-order resolution proofs by lowering unit clauses	2015-12-02	Paper
Interacting with Modal Logics in the Coq Proof Assistant	2015-10-20	Paper
Physics and proof theory	2014-06-27	Paper
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence	2013-08-21	Paper
Towards CERes in intuitionistic logic	2012-11-22	Paper
Compression of propositional resolution proofs via partial regularization	2011-07-29	Paper
Exploiting symmetry in SMT problems	2011-07-29	Paper
Atomic cut introduction by resolution: proof structuring and compression	2011-01-07	Paper
System Description: The Proof Transformation System CERES	2010-09-14	Paper
A Clausal Approach to Proof Analysis in Second-Order Logic	2009-02-24	Paper
Herbrand Sequent Extraction	2009-01-27	Paper

Research outcomes over time

This page was built for person: Bruno Woltzenlogel Paleo