Login / Signup
An alternative approach to the calculation of fundamental groups based on labeled natural deduction.
Tiago Mendonça Lucena de Veras
Arthur F. Ramos
Ruy J. G. B. de Queiroz
Anjolina Grisi de Oliveira
Published in:
CoRR (2019)
Keyphrases
</>
natural deduction
theorem prover
inference rules
theorem proving
cut elimination
intuitionistic logic
decision trees
training data
cluster analysis
supervised learning
graphical models
automated reasoning
sequent calculus