Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A NOTE ON THE SEQUENT CALCULI ${{{f G3}[{f mic}]}}^{=}$

A NOTE ON THE SEQUENT CALCULI ${{{f G3}[{f mic}]}}^{=}$ 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Review of Symbolic Logic Cambridge University Press

A NOTE ON THE SEQUENT CALCULI ${{{f G3}[{f mic}]}}^{=}$

PARLAMENTO, FRANCO; PREVIALE, FLAVIO
Review of Symbolic Logic , Volume 15 (2): 15 – Jun 1, 2022
Download PDF

A NOTE ON THE SEQUENT CALCULI ${{{f G3}[{f mic}]}}^{=}$

PARLAMENTO, FRANCO; PREVIALE, FLAVIO
Review of Symbolic Logic , Volume 15 (2): 15 – Jun 1, 2022

Abstract

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.

Loading next page...
 
/lp/cambridge-university-press/a-note-on-the-sequent-calculi-f-g3-f-mic-d7A2403QOF
Publisher
Cambridge University Press
Copyright
© The Author(s), 2020. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
ISSN
1755-0211
eISSN
1755-0203
DOI
10.1017/S1755020320000155
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

Review of Symbolic Logic – Cambridge University Press

Published: Jun 1, 2022

Keywords: 03F05; sequent calculus; equality; replacement rules; admissibility

There are no references for this article.