Name
Name | Affiliation | Papers |
|---|---|---|
KAREL CHVALOVSKÝ | Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vodárenskou věží 2, 182 07 Prague 8, Czech Republic and Department of Logic, Charles University, C ... | 4 |
Collaborators | Citations | PageRank |
2 | 11 | 1.85 |
Referers | Referees | References |
18 | 33 | 23 |
Title | Citations | PageRank | Year |
|---|---|---|---|
| Full Lambek Calculus with Contraction is Undecidable. | 2 | 0.52 | 2016 |
| UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS | 2 | 0.42 | 2015 |
| On the independence of axioms in BL and MTL | 6 | 0.48 | 2012 |
| Note on Deduction Theorems in Contraction-Free Logics. | 1 | 0.43 | 2012 |