A sequent calculus perspective on base-extension semantics

DOI10.1007/978-3-032-06085-3_1MaRDI QIDQ6860400zbMATH OpenFDO

Authors Victor Barroso-Nascimento, Ekaterina Piotrovskaya, Elaine Pimentel

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-032-06085-3_1

zbMATH Keywords

base-extension semanticsproof-theoretic semanticssequent calculus

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• A proof theory for generic judgments
• A Proof-Theoretic Approach to Logic Programming
• Atomic polymorphism
• Base-extension semantics for intuitionistic sentential logic
• Classical logic without bivalence
• Failure of completeness in proof-theoretic semantics
• From axioms to synthetic inference rules via focusing
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Meaning approached via proofs
• Natural Deduction and Weak Normalization for Full Linear Logic
• On an inferential semantics for classical logic
• On Dummett's verificationist justification procedure
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• Reasoning with higher-order abstract syntax in a logical framework

Cited in

(1)

• Bilateral base-extension semantics

This page was built for publication: A sequent calculus perspective on base-extension semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860400)