Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

Documenti analoghi

• Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
  di: Lyon, Tim S.
  Pubblicazione: (2022)
• Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
  di: Lyon, Tim S.
  Pubblicazione: (2026)
• Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
  di: Lyon, Tim S.
  Pubblicazione: (2023)
• Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
  di: Lyon, Tim S.
  Pubblicazione: (2024)
• Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
  di: Lyon, Tim S.
  Pubblicazione: (2024)