Old Web
English
Sign In
Acemap
>
Paper
>
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL *
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL *
2021
Asta Halkjær From
Anders Schlichtkrull
Jørgen Villadsen
Keywords:
Calculus
Computer science
HOL
Sequent calculus
First-order logic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
13
References
0
Citations
NaN
KQI
[]