@misc{indiciae677b2438f9ba,
  title = {Sequent calculus for the subintuitionistic logic \$\{\textbackslash{}sf WF\_\{N\_\{2\}\}\} \$},
  author = {Fatemeh Shirmohammadzadeh Maleki},
  year = {2025},
  url = {https://arxiv.org/abs/2501.02322},
  note = {Source identifier: 2501.02322}
}