Karel Chvalovský

According to our database1, Karel Chvalovský authored at least 4 papers between 2010 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Full Lambek Calculus with Contraction is Undecidable.
J. Symb. Log., 2016

2015
Undecidability of Consequence Relation in Full non-Associative Lambek Calculus.
J. Symb. Log., 2015

2012
On the independence of axioms in BL and MTL.
Fuzzy Sets and Systems, 2012

2010
Note on Deduction Theorems in Contraction-Free Logics.
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010


  Loading...