Proof Compression via Subatomic Logic and Guarded Substitutions

Documenti analoghi

• A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
  di: Barroso-Nascimento, Victor, et al.
  Pubblicazione: (2025)
• Glivenko's theorems from an ecumenical perspective
  di: Pereira, Luiz Carlos, et al.
  Pubblicazione: (2026)
• Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
  di: Santo, José Espírito, et al.
  Pubblicazione: (2020)
• Cut elimination for propositional cyclic proof systems with fixed-point operators
  di: Hori, Hiromasa, et al.
  Pubblicazione: (2023)
• Structural focalization
  di: Simmons, Robert J.
  Pubblicazione: (2011)