Sequent calculus for the subintuitionistic logic ${\sf WF_{N_{2}}} $
Logic
2025-01-07 v1
Abstract
A cut-free G3-style sequent calculus GWFN2 for the subintuitionistic logic WFN2, along with its single-succedent variant GWFsN2, is introduced. The calculus GWFN2 is shown to extend naturally to a G3-style of the sequent calculus GF for Corsis logic F. Additionally, a syntactic proof of the known embedding of GWFN2 into classical modal logic MNec is presented.
Cite
@article{arxiv.2501.02322,
title = {Sequent calculus for the subintuitionistic logic ${\sf WF_{N_{2}}} $},
author = {Fatemeh Shirmohammadzadeh Maleki},
journal= {arXiv preprint arXiv:2501.02322},
year = {2025}
}
Comments
arXiv admin note: text overlap with arXiv:2410.20425