Cover Image

Bilateralism with incompatible proofs and refutations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barroso-Nascimento, Victor, Osório, Maria, Pimentel, Elaine
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 03F03, 00A30 F.3; F.4
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)

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

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

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)

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
by: Cheng, Yong
Published: (2019)

A Constructive Fragment of Physical Propositions
by: Rosko, Milan
Published: (2025)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

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

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

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

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

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

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

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

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Hilbert's Program and Infinity
by: Zach, Richard
Published: (2026)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

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

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

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

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

From Numbers to Container Strings
by: Visser, Albert
Published: (2024)

On Rosser theories
by: Cheng, Yong
Published: (2024)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)

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

Structural focalization
by: Simmons, Robert J.
Published: (2011)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

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

On a Question of Hamkins'
by: Visser, Albert
Published: (2025)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
by: Vodrazka, Daniel
Published: (2025)