:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Santos, Paulo Guilherme
Format:	Preprint
Published:	2024
Subjects:	Logic 03F03
Online Access:	https://arxiv.org/abs/2410.09195
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

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

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

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

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

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

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

Non-contractive logics, Paradoxes, and Multiplicative Quantifiers
by: Nicolai, Carlo, et al.
Published: (2022)

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

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

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

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
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)

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

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

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
by: Miwa, Tadayoshi, et al.
Published: (2026)

Reduced Set Theory
by: Kunik, Matthias
Published: (2023)

From Gödel incompleteness to the consistency of circuit lower bounds
by: Atserias, Albert, et al.
Published: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
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)

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)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

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

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

Proof-theoretic dilator and intermediate pointclasses
by: Jeon, Hanul
Published: (2025)

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

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

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
by: Nishimuta, Yuki, et al.
Published: (2018)

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

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

Feferman's completeness theorem
by: Pakhomov, Fedor, et al.
Published: (2024)

Effective inseparability and some applications in meta-mathematics
by: Cheng, Yong
Published: (2022)