Cover Image

An ecumenical view of proof-theoretic semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nascimento, Victor, Pereira, Luiz Carlos, Pimentel, Elaine
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Logic 03F03
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

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

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

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

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

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

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

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

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

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

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

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

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

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

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

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
by: Castiglioni, José Luis, et al.
Published: (2025)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

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

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Fragments of arithmetic and cyclic proofs
by: Beklemishev, Lev D., et al.
Published: (2025)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

Semi-Algebraic Proof Systems for QBF
by: Beyersdorff, Olaf, et al.
Published: (2025)

Effective bases and notions of effective second countability in computable analysis
by: Brattka, Vasco, et al.
Published: (2025)

Modelling Multiplicative Linear Logic via Deep Inference
by: Galor, Tomer, et al.
Published: (2024)

The behavior of higher proof theory I: Case $Σ^1_2$
by: Jeon, Hanul
Published: (2024)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
by: Barrett, Victoria, et al.
Published: (2025)

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