Karel Chvalovský

1. On the independence of axioms in BL and MTL
   2011/11/05 by Karel Chvalovský · 3 citations
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. MizAR 60 for Mizar 50
   2023/03/12 by Jan Jakubův, Karel Chvalovský, Jakubův, Jan +15 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Handwritten Text Recognition Techniques #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Natural Language Processing Techniques #Symbolic Computation (cs.SC)