:: 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.13066
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)

On the Concept of Arithmetic Conseqeunce
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)

Incompleteness in Quantified Conditional Logic
by: Kocurek, Alexander W., et al.
Published: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
by: Tobler, James, et al.
Published: (2026)

Higher Dimensional Chain Conditions
by: Todorcevic, Stevo, et al.
Published: (2023)

Comparing Anti-foundation Axioms by Comparing Identity Conditions for Sets
by: Ju, Daheng, et al.
Published: (2024)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Many-valued coalgebraic logic over semi-primal varieties
by: Kurz, Alexander, et al.
Published: (2023)

On Categories of Nested Conditions
by: Rensink, Arend, et al.
Published: (2024)

On $\lam$-existence over a predicate
by: Usvyatsov, Alexander
Published: (2026)

Stability over a predicate and prime closure
by: Usvyatsov, Alexander
Published: (2024)

On the existence property over a predicate
by: Usvyatsov, Alexander
Published: (2025)

On Approximate Classification of Theories
by: Burka, Alexander
Published: (2025)

On Innovative Conditions of Diamond‐∝ Inequalities and Their Applications
by: Lütfi Akın, et al.
Published: (2025)

Counting in Uncountably Categorical Pseudofinite Structures
by: Van Abel, Alexander
Published: (2021)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
by: Helal, Sameerah, et al.
Published: (2024)

Initial Algebra Correspondence under Reachability Conditions
by: Kori, Mayuko, et al.
Published: (2025)

Categorial grammars with unique category assignment
by: Vishnikin, Maxim, et al.
Published: (2025)

Stable amalgamation over a predicate and the Gaifman property
by: Shelah, Saharon, et al.
Published: (2025)

Herbrand's Theorem in Refutation Schemata
by: Leitsch, Alexander, et al.
Published: (2024)

Borel Families of Games
by: Kastner, Alexander, et al.
Published: (2024)