Copertina

On the Concept of Arithmetic Conseqeunce

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Gheorghiu, Alexander V.
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Support is Search
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

In Defence of the Material Conditional
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Classical Logic without Bivalance
di: Gheorghiu, Alexander V.
Pubblicazione: (2025)

On an Inferential Semantics for Intuitionistic Sentential Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Verification of Robust Properties for Access Control Policies
di: Gheorghiu, Alexander V.
Pubblicazione: (2026)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Inferentialist Resource Semantics
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

A Note on the Practice of Logical Inferentialism
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

On the Logical Content of Knowledge Bases
di: Gheorghiu, Alexader V., et al.
Pubblicazione: (2025)

Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)

Towards an Analysis of Proofs in Arithmetic
di: Leitsch, Alexander, et al.
Pubblicazione: (2025)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)

On proving consistency of equational theories in Bounded Arithmetic
di: Beckmann, Arnold, et al.
Pubblicazione: (2022)

A Note on an Inferentialist Approach to Resource Semantics
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Ramsey Theory and Bounding in Arithmetic
di: Cholak, Peter
Pubblicazione: (2026)

Provability in BI's Sequent Calculus is Decidable
di: Gheorghiu, Alexander, et al.
Pubblicazione: (2021)

A natural axiomatization of Büchi Arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2026)

Binary Choice Games and Arithmetical Comprehension
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2025)

Peano Arithmetic, games and descent recursion
di: Frittaion, Emanuele
Pubblicazione: (2024)

The Limits of Determinacy in Higher-Order Arithmetic
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2024)

Speedups for Presburger Arithmetic and Real Closed Fields
di: Pakhomov, Fedor, et al.
Pubblicazione: (2026)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
di: Narusevych, Mykyta
Pubblicazione: (2022)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Arithmetical completeness for some extensions of the pure logic of necessitation
di: Kogure, Haruka
Pubblicazione: (2024)

Witnessing Flows in Arithmetic
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
di: Narusevych, Mykyta
Pubblicazione: (2026)

MCSAT Modulo Transcendental Arithmetics
di: Gallego-Hernández, Jorge, et al.
Pubblicazione: (2026)

Feasibility of Primality in Bounded Arithmetic
di: Jalali, Raheleh, et al.
Pubblicazione: (2025)

Peano Arithmetic and $μ$MALL
di: Manighetti, Matteo, et al.
Pubblicazione: (2023)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
di: Grobner, Harald
Pubblicazione: (2026)

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures
di: Schmerl, James
Pubblicazione: (2026)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
di: Jovanovic, Dejan
Pubblicazione: (2026)

On the Decidability of Monadic Theories of Arithmetic Predicates
di: Berthé, Valérie, et al.
Pubblicazione: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)