List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Mizar 60 for Mizar 50 | 2024-11-26 | Paper |
| ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) Automated Reasoning | 2022-11-09 | Paper |
| Learning theorem proving components (available as arXiv preprint) | 2022-05-25 | Paper |
| Fast and slow enigmas and parental guidance (available as arXiv preprint) | 2022-03-24 | Paper |
| ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\) (available as arXiv preprint) | 2020-03-10 | Paper |
| FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE Journal of Symbolic Logic | 2016-08-19 | Paper |
| Undecidability of consequence relation in full non-associative Lambek calculus Journal of Symbolic Logic | 2015-08-14 | Paper |
| Note on D-completeness and prelinearity | 2014-04-29 | Paper |
| On the independence of axioms in BL and MTL Fuzzy Sets and Systems | 2012-11-21 | Paper |
| Note on deduction theorems in contraction-free logics Mathematical Logic Quarterly (MLQ) | 2012-06-01 | Paper |
Research outcomes over time
This page was built for person: Karel Chvalovský
