Karel Chvalovský
From MaRDI portal
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ý
