Buchumschlag

Glivenko's theorems from an ecumenical perspective

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pereira, Luiz Carlos, Barroso-Nascimento, Victor, Pimentel, Elaine
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Logic 03F03 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

An ecumenical view of proof-theoretic semantics
von: Nascimento, Victor, et al.
Veröffentlicht: (2023)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Proof Compression via Subatomic Logic and Guarded Substitutions
von: Barrett, Victoria, et al.
Veröffentlicht: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
von: Hori, Hiromasa, et al.
Veröffentlicht: (2023)

Effective bases and notions of effective second countability in computable analysis
von: Brattka, Vasco, et al.
Veröffentlicht: (2025)

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

Bilateralism with incompatible proofs and refutations
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

A proof complexity conjecture and the Incompleteness theorem
von: Krajicek, Jan
Veröffentlicht: (2023)

A Guide to Krivine Realizability for Set Theory
von: Matthews, Richard
Veröffentlicht: (2023)

Symmetries in Sorting
von: Choudhury, Vikraman, et al.
Veröffentlicht: (2025)

Exploring the abyss in Kleene's computability theory
von: Sanders, Sam
Veröffentlicht: (2023)

On some computational properties of open sets
von: Normann, Dag, et al.
Veröffentlicht: (2024)

Structural focalization
von: Simmons, Robert J.
Veröffentlicht: (2011)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
von: Cerda, Rémy, et al.
Veröffentlicht: (2022)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2026)

Relational Models for the Lambek Calculus with Intersection and Constants
von: Kuznetsov, Stepan L.
Veröffentlicht: (2022)

Local-Order-Invariant Logic on Classes of Bounded Degree
von: Aoki, Derek
Veröffentlicht: (2025)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Knowability as continuity: a topological account of informational dependence
von: Baltag, Alexandru, et al.
Veröffentlicht: (2024)

Axiomatizing the Logic of Ordinary Discourse
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Belief in Simplicial Complexes
von: Sink, Philip, et al.
Veröffentlicht: (2025)

Reasoning Around Paradox with Grounded Deduction
von: Ford, Bryan
Veröffentlicht: (2024)

A Note on Proper Relational Structures
von: Bjorndahl, Adam, et al.
Veröffentlicht: (2025)

Sheaves as oracle computations
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

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

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

A Theory for Probabilistic Polynomial-Time Reasoning
von: Chen, Lijie, et al.
Veröffentlicht: (2026)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Internal Effectful Forcing in System T
von: Escardo, Martin H., et al.
Veröffentlicht: (2025)

Discernment is all you need
von: Fuenmayor, David
Veröffentlicht: (2026)

Arithmetics within the Linear Time Hierarchy
von: Pollett, Chris
Veröffentlicht: (2025)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2025)