:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Gheorghiu, Alexander V.
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2603.09900
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

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

In Defence of the Material Conditional
by: Gheorghiu, Alexander V.
Published: (2026)

Classical Logic without Bivalance
by: Gheorghiu, Alexander V.
Published: (2025)

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

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

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

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

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

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

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

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

Inferentialist Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

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

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

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

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

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

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

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

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

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

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

A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)

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

Peano Arithmetic, games and descent recursion
by: Frittaion, Emanuele
Published: (2024)

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

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

Models of Bounded Arithmetic and variants of Pigeonhole Principle
by: Narusevych, Mykyta
Published: (2022)

Witnessing Flows in Arithmetic
by: Tabatabai, Amirhossein Akbar
Published: (2024)

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

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

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

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

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

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

Nonlinear Arithmetic with SMTLIB Division is Undecidable
by: Jovanovic, Dejan
Published: (2026)

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

Satisfiability Modulo Exponential Integer Arithmetic
by: Frohn, Florian, et al.
Published: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
by: Karimov, Toghrul, et al.
Published: (2024)