| Publication | Date of Publication | Type |
|---|
Lifting propositional proof compression algorithms to first-order logic
Journal Of Logic And Computation | 2022-01-03 | Paper |
Para-disagreement logics and their implementation through embedding in Coq and SMT
Trends in Logic | 2020-08-06 | Paper |
Complexity of translations from resolution to sequent calculus
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning
Journal of Automated Reasoning | 2018-02-02 | Paper |
NP-completeness of small conflict set generation for congruence closure
Formal Methods in System Design | 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
Studia Logica | 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
Journal Of Logic And Computation | 2017-05-17 | Paper |
Computer-assisted analysis of the Anderson-Hájek ontological controversy
Logica Universalis | 2017-04-20 | Paper |
Higher-order modal logics: automation and applications
Reasoning Web. Web Logic Rules | 2017-03-30 | Paper |
Implementation and evaluation of contextual natural deduction for minimal logic
Lecture Notes in Computer Science | 2016-12-21 | Paper |
On logic embeddings and Gödel's God
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
Contextual Natural Deduction
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Towards the compression of first-order resolution proofs by lowering unit clauses
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Interacting with Modal Logics in the Coq Proof Assistant
Lecture Notes in Computer Science | 2015-10-20 | Paper |
Physics and proof theory
Applied Mathematics and Computation | 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
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Exploiting symmetry in SMT problems
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Atomic cut introduction by resolution: proof structuring and compression
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
System Description: The Proof Transformation System CERES
Automated Reasoning | 2010-09-14 | Paper |
A Clausal Approach to Proof Analysis in Second-Order Logic
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Herbrand Sequent Extraction
Lecture Notes in Computer Science | 2009-01-27 | Paper |
