Copertina

Structural focalization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Simmons, Robert J.
Natura:	Preprint
Pubblicazione:	2011
Soggetti:	Logic in Computer Science 03F05, 03F07, 03F65 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

Non-Compact Proofs
di: Artemov, Sergei
Pubblicazione: (2025)

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

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

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

Consistent ultrafinitist logic
di: Gajda, Michał J.
Pubblicazione: (2021)

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

Linear Orders in Presburger Arithmetic
di: Pakhomov, Fedor, et al.
Pubblicazione: (2022)

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

Unravelling Abstract Cyclic Proofs into Proofs by Induction
di: Grotenhuis, Lide, et al.
Pubblicazione: (2026)

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

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

Univalent Material Set Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2023)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
di: Wang, Shuai
Pubblicazione: (2024)

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

Meaning as Use, Application, Employment, Purpose, Usefulness
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

From the Notebooks to the Investigations and Beyond
di: de Queiroz, Ruy J. G. B.
Pubblicazione: (2025)

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
di: Semenov, Stanislav
Pubblicazione: (2025)

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

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

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

On the computational properties of ambivalent sets and functions
di: Normann, Dag, et al.
Pubblicazione: (2026)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

A Tame Generic Structure with Non-Algebraic Geometric Closure
di: Jalili, Somaye, et al.
Pubblicazione: (2020)

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

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

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

Exploring the abyss in Kleene's computability theory
di: Sanders, Sam
Pubblicazione: (2023)

On some computational properties of open sets
di: Normann, Dag, et al.
Pubblicazione: (2024)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
di: Liu, Zhangchi
Pubblicazione: (2025)

Approximate Axiomatization for Differentially-Defined Functions
di: Platzer, André, et al.
Pubblicazione: (2025)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

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

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

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
di: Moore, Hayden, et al.
Pubblicazione: (2025)