Article contents
A NOTE ON THE SEQUENT CALCULI
${{{\bf G3}[{\bf mic}]}}^{=}$
Published online by Cambridge University Press: 02 July 2020
Abstract
We show that the replacement rule of the sequent calculi
${\bf G3[mic]}^= $
in [8] can be replaced by the simpler rule in which one of the principal formulae is not repeated in the premiss.
MSC classification
- Type
- Research Article
- Information
- Copyright
- © The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
BIBLIOGRAPHY
- 1
- Cited by