Old Web
English
Sign In
Acemap
>
Paper
>
EXPLICIT INDUCTION IS NOT EQUIVALENT TO CYCLIC PROOFS FOR CLASSICAL LOGIC WITH INDUCTIVE DEFINITIONS
EXPLICIT INDUCTION IS NOT EQUIVALENT TO CYCLIC PROOFS FOR CLASSICAL LOGIC WITH INDUCTIVE DEFINITIONS
2019
Stefano Berardi
Keywords:
Mathematical proof
Classical logic
Algebra
Proof theory
Mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
3
References
2
Citations
NaN
KQI
[]