| Publication | Date of Publication | Type |
|---|
Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)
Studia Logica | 2018-12-21 | Paper |
| From absolute to affine geometry in terms of point-reections, midpoints, and collinearity | 2018-02-15 | Paper |
| Without E | 2017-09-04 | Paper |
Tarski geometry axioms
Formalized Mathematics | 2017-01-06 | Paper |
Automating Leibniz's theory of concepts
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Checking proofs
The Argument of Mathematics | 2015-10-05 | Paper |
Premise selection for mathematics by corpus analysis and kernel methods
Journal of Automated Reasoning | 2015-07-02 | Paper |
A curious dialogical logic and its composition problem
Journal of Philosophical Logic | 2014-12-18 | Paper |
A curious dialogical logic and its composition problem
Journal of Philosophical Logic | 2014-12-18 | Paper |
The simplest axiom system for hyperbolic geometry revisited, again
Studia Logica | 2014-09-26 | Paper |
| Complete independence of an axiom system for central translations | 2014-05-26 | Paper |
Complete independence of an axiom system for central translations
(available as arXiv preprint) | 2014-05-26 | Paper |
| Dialogues for proof search | 2014-05-08 | Paper |
| Some problems with two axiomatizations of discussive logic | 2014-03-30 | Paper |
| Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools | 2014-01-05 | Paper |
| Sharpening independence results for Huntington's affine geometry | 2013-12-16 | Paper |
| A machine-assisted view of paraconsistency | 2013-12-16 | Paper |
| Sentence complexity of theorems in Mizar | 2013-11-08 | Paper |
| Toward a structure theory for Lorenzen dialogue games | 2013-11-08 | Paper |
Eliciting implicit assumptions of Mizar proofs by property omission
Journal of Automated Reasoning | 2013-04-17 | Paper |
Dependencies in formal mathematics: applications and extraction for Coq and Mizar
Lecture Notes in Computer Science | 2012-09-07 | Paper |
New Developments in Parsing Mizar
Lecture Notes in Computer Science | 2012-09-07 | Paper |
Automated and human proofs in general mathematics: an initial comparison
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| Tipi: A TPTP-based theory development environment emphasizing proof analysis | 2012-04-04 | Paper |
Licensing the Mizar Mathematical Library (MML)
Lecture Notes in Computer Science | 2011-07-29 | Paper |
mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Large formal wikis: issues and solutions
Lecture Notes in Computer Science | 2011-07-29 | Paper |
Euler's polyhedron formula in mizar
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
A Wiki for Mizar: motivation, considerations, and initial prototype
Lecture Notes in Computer Science | 2010-08-24 | Paper |
