Karel Chvalovský

Statistics

Publications

Citations

H-Index

Active since

2011

Affiliations

Czech Academy of Sciences, Institute of Computer Science(Current)

Karel Chvalovský is an author at Czech Academy of Sciences, Institute of Computer Science specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

EngineeringFormal MethodsAutomated ReasoningSocial SciencesComputer ScienceMachine LearningCognitive ScienceFormal VerificationFunctional AnalysisNon-monotonic Logic

Publications per year

2011–2018

Publications

Note on Deduction Theorems in contraction‐free logics

Karel Chvalovský, Petr Cintula · Mathematical logic quarterly · 2012 · 26 citations

Non-classical Logic, Non-monotonic Logic, Engineering +10

FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE

Karel Chvalovský, Rostislav Horčı́k · Journal of Symbolic Logic · 2016 · 13 citations

Full Lambek Calculus, Engineering, Structural Rule +12

Top-Down Neural Model For Formulae.

Karel Chvalovský · International Conference on Learning Representations · 2018 · 12 citations

Model Optimization, Cognitive Science, Machine Learning +4

On the independence of axioms in BL and MTL

Karel Chvalovský · Fuzzy Sets and Systems · 2011 · 11 citations

Engineering, Substructural Logic, Automated Reasoning +4

UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS

Karel Chvalovský · Journal of Symbolic Logic · 2015 · 10 citations

1–5 of 5