MathOverflow
Karel Chvalovský's user avatar
Karel Chvalovský's user avatar
Karel Chvalovský's user avatar
Karel Chvalovský
  • Member for 9 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
171
reputation
1k
reached
3
answers
0
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Top tags
14
Score
3
Posts
100
Posts %
6
Score
1
Posts
33
Posts %
2
Score
1
Posts
33
Posts %
Top posts
answer
6
What is the Complete Set of Shortest Axioms of Classical Conditional-Negation Propositional Calculus?
Oct 2, 2014
answer
6
Decidability of completeness in propositional logic
Apr 19, 2022
answer
2
Models of BL$\forall$
Oct 2, 2014