Cover Image

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barroso-Nascimento, Victor, Piotrovskaya, Ekaterina, Pimentel, Elaine
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Logic 03F03 F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Bilateralism with incompatible proofs and refutations
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Nested Sequents for Provability Logic GLP
by: Shamkanov, Daniyar
Published: (2014)

Fracterm Calculus for Partial Meadows
by: Bergstra, Jan A., et al.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

Evaluation trees for proposition algebra
by: Bergstra, Jan A., et al.
Published: (2015)

Extracting total Amb programs from proofs
by: Berger, Ulrich, et al.
Published: (2023)

Conditional logic as a short-circuit logic
by: Bergstra, Jan A., et al.
Published: (2023)

Fully Evaluated Left-Sequential Logics
by: Ponse, Alban, et al.
Published: (2024)

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant
by: Bergstra, Jan A., et al.
Published: (2018)

Meaning as Use, Application, Employment, Purpose, Usefulness
by: de Queiroz, Ruy J. G. B.
Published: (2025)

From the Notebooks to the Investigations and Beyond
by: de Queiroz, Ruy J. G. B.
Published: (2025)

A Coherence Construction for the Propositional Universe
by: Huang, Xu
Published: (2024)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
by: Anttila, Aleksi, et al.
Published: (2025)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
by: Olarte, Carlos, et al.
Published: (2024)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Provability in BI's Sequent Calculus is Decidable
by: Gheorghiu, Alexander, et al.
Published: (2021)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

A domain-theoretic framework for conditional probability and Bayesian updating in programming
by: Di Gianantonio, Pietro, et al.
Published: (2025)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
by: Anttila, Aleksi, et al.
Published: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
by: Grotenhuis, Lide, et al.
Published: (2026)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

Cut elimination for propositional cyclic proof systems with fixed-point operators
by: Hori, Hiromasa, et al.
Published: (2023)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
by: Moore, Hayden, et al.
Published: (2025)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

Node Replication: Theory And Practice
by: Kesner, Delia, et al.
Published: (2022)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)